chalkify: Implement lowering rule Implied-Bound-From-Trait#49435

Merged

bors merged 1 commit intorust-lang:masterfrom tmandry:rule-implied-bound-from-trait

Apr 10, 2018

Commits on Apr 6, 2018

chalkify: Implement Rule Implied-Bound-From-Trait
tmandry
committed