src/test/ui/associated-types/hr-associated-type-bound-param-3.rs

   1 trait X<'a, T>
   2 where
   3     for<'b> T: X<'b, T>,
   4     for<'b> <T as X<'b, T>>::U: Clone,
   5 {
   6     type U: ?Sized;
   7     fn f(x: &<T as X<'_, T>>::U) {
   8         <<T as X<'_, T>>::U>::clone(x);
   9     }
  10 }
  11
  12 impl<S, T> X<'_, (T,)> for (S,) {
  13     type U = str;
  14     //~^ ERROR the trait bound `for<'b> <(T,) as X<'b, (T,)>>::U: Clone` is not satisfied
  15 }
  16
  17 pub fn main() {
  18     <(i32,) as X<(i32,)>>::f("abc");
  19 }