This compiles after full NLL (>= 1.63) but it shouldn't:

trait Trait { type Ty; } impl Trait for &'static () { type Ty = (); } fn extend<'a>() { None::<<&'a () as Trait>::Ty>; }

HIR typeck unconditionally normalizes user-provided types modulo regions, so it's not NLL's fault this time :)

@rustbot label regression-from-stable-to-stable T-compiler T-types C-bug