1 // Regression test for issue #69490
9 impl<T> Trait<()> for T
11 T: for<'a> Trait<&'a ()>,
13 // Use of `T::S` here caused an ICE
14 const S: &'static str = T::S;
17 // Some similar cases that didn't ICE:
19 impl<'a, T> Trait<()> for (T,)
23 const S: &'static str = T::S;
26 impl<T> Trait<()> for [T; 1]
28 T: Trait<for<'a> fn(&'a ())>,
30 const S: &'static str = T::S;