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

Closed

eddyb wants to merge 3 commits into

rust-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