[WIP] rustc_typeck: ensure type alias bounds are implied by the type being well-formed.#54090

Closed

eddyb wants to merge 3 commits intorust-lang:masterfrom eddyb:reverse-waffles-implicit-sized

Commits on Sep 9, 2018

rustc_typeck: ensure type alias bounds are implied by the type being well-formed.
eddyb
committed
[HACK] don't require T: ?Sized for type Foo<T> = Box<T>;
eddyb
committed
[HACK] don't require T: Trait for type Foo<T> = <T as Trait>::Assoc;
eddyb
committed