9 impl Y for A<'static> {
15 // This uses <A<'a> as Y>::X, but `A<'a>` does not implement `Y`.
16 A::<'a>::X..=A::<'static>::X => (), //~ ERROR lifetime may not live long enough
23 // This uses <A<'a> as Y>::X, but `A<'a>` does not implement `Y`.
24 A::<'static>::X..=A::<'a>::X => (), //~ ERROR lifetime may not live long enough