src/test/ui/associated-types/issue-71113.rs

   1 // check-pass
   2
   3 use std::borrow::Cow;
   4
   5 enum _Recursive<'a>
   6 where
   7     Self: ToOwned<Owned=Box<Self>>
   8 {
   9     Variant(MyCow<'a, _Recursive<'a>>),
  10 }
  11
  12 pub struct Wrapper<T>(T);
  13
  14 pub struct MyCow<'a, T: ToOwned<Owned=Box<T>> + 'a>(Wrapper<Cow<'a, T>>);
  15
  16 fn main() {}