rustc_typeck: turn `where Type:,` into a WF(Type) predicate, instead of ignoring it.#53707

Merged

bors merged 1 commit intorust-lang:masterfrom

eddyb:phantom-waffles

Sep 6, 2018

Commits on Aug 31, 2018

rustc_typeck: turn `where Type:,` into a WF(Type) predicate, instead of ignoring it.
eddyb
committed