ignored regions constraints when normalizing user-provided types · Issue #101350 · rust-lang/rust (original) (raw)

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