struct Fail<T>;
//~^ ERROR: type parameter `T` is never used
impl Fail<i32> {
const C: () = ();
}
fn main() {
Fail::<()>::C
//~^ ERROR no associated item named `C` found for struct `Fail<()>` in the current scope