1 // Check that we don't have a cycle when we try to normalize `Self::U` in the
2 // bound below. Make sure that having a lifetime on the trait object doesn't break things
15 type U: Is<T = Self::V>;
19 fn is_obj<'a, T: ?Sized + Obj<'a>>(_: &T) {}
21 fn f<'a>(x: &dyn Obj<'a, U = i32, V = i32>) {