7 impl Y for A<'static> {
13 // This uses <A<'a> as Y>::X, but `A<'a>` does not implement `Y`.
14 A::<'a>::X..=A::<'static>::X => (), //~ ERROR lifetime may not live long enough
21 // This uses <A<'a> as Y>::X, but `A<'a>` does not implement `Y`.
22 A::<'static>::X..=A::<'a>::X => (), //~ ERROR lifetime may not live long enough