src/test/ui/traits/object/bounds-cycle-3.rs

   1 // Check that we don't have a cycle when we try to normalize `Self::V` in the
   2 // bound below.
   3
   4 // check-pass
   5
   6 trait Is {
   7     type T;
   8 }
   9
  10 impl<U> Is for U {
  11     type T = U;
  12 }
  13
  14 trait Obj {
  15     type U: Is<T = Self::V>;
  16     type V;
  17 }
  18
  19 fn is_obj<T: ?Sized + Obj>(_: &T) {}
  20
  21 fn f(x: &dyn Obj<U = i32, V = i32>) {
  22     is_obj(x)
  23 }
  24
  25 fn main() {}