tests/ui/deriving/issue-89188-gat-hrtb.rs

   1 // check-pass
   2
   3 trait CallWithShim: Sized {
   4     type Shim<'s>
   5     where
   6         Self: 's;
   7 }
   8
   9 #[derive(Clone)]
  10 struct ShimMethod<T: CallWithShim + 'static>(pub &'static dyn for<'s> Fn(&'s mut T::Shim<'s>));
  11
  12 trait CallWithShim2: Sized {
  13     type Shim<T>;
  14 }
  15
  16 struct S<'s>(&'s ());
  17
  18 #[derive(Clone)]
  19 struct ShimMethod2<T: CallWithShim2 + 'static>(pub &'static dyn for<'s> Fn(&'s mut T::Shim<S<'s>>));
  20
  21 trait Trait<'s, 't, 'u> {}
  22
  23 #[derive(Clone)]
  24 struct ShimMethod3<T: CallWithShim2 + 'static>(
  25     pub  &'static dyn for<'s> Fn(
  26         &'s mut T::Shim<dyn for<'t> Fn(&'s mut T::Shim<dyn for<'u> Trait<'s, 't, 'u>>)>,
  27     ),
  28 );
  29
  30 trait Trait2 {
  31     type As;
  32 }
  33
  34 #[derive(Clone)]
  35 struct ShimMethod4<T: Trait2 + 'static>(pub &'static dyn for<'s> Fn(&'s mut T::As));
  36
  37 pub fn main() {}