1 // Regression test for an NLL-related ICE (#52992) -- computing
2 // implied bounds was causing outlives relations that were not
9 fn fail<'a>() -> Struct<'a, Generic<()>> {
13 struct Struct<'a, T>(&'a T) where
15 T::AT: 'a; // only fails with this bound
23 impl<T> Trait for Generic<T> {
24 type AT = T; // only fails with a generic AT