Add basic support for dyn and impl Trait#226

Merged

nikomatsakis merged 15 commits intorust-lang:masterfrom

KiChjang:dyn-and-impl-trait

Oct 14, 2019

Commits on Sep 30, 2019

Commits on Oct 1, 2019

Introduce substitute method on Binder
KiChjang
committed

Commits on Oct 4, 2019

Handle impl/dyn Trait in match_ty
KiChjang
committed

Commits on Oct 6, 2019

Handle impl/dyn trait types for the solver
KiChjang
committed