Skip to content

Handle subtyping in inference through obligations#40570

Merged
bors merged 19 commits intorust-lang:masterfrom
nikomatsakis:inference-subtype-through-obligation
Apr 13, 2017
Merged

Handle subtyping in inference through obligations#40570
bors merged 19 commits intorust-lang:masterfrom
nikomatsakis:inference-subtype-through-obligation

Commits

Commits on Apr 12, 2017