Regression with type parameter shadowing

[alexcrichton]

The following code compiles on stable/beta but fails to compile on nightly

pub enum T {       
    NonSpecific,   
}                  

fn foo<T>() {      
    T::NonSpecific;
}                  

This is minimized from a regression in the quire crate. This looks pretty intentional, however, so I just wanted to confirm! Was this intentional, and are we comfortable letting this slide through?

cc @jseyfried

[jseyfried]

Yeah, this was intentional -- it was changed in #32141 to fix #32120.
Could there be more breakage (i.e. was this not detected in a crater run)?

[alexcrichton]

This may be all the breakage we're looking at, that was just a crater run between stable and nightly last night, and it was the only error its kind that showed up.

[jseyfried]

Ok, I'll write a PR to fix the breakage in that crate. I could also do a warning cycle pretty easily but it looks like that won't be needed.

[pnkfelix]

(Yes this is expected to break due to aforementioned fix.)