src/test/ui/generic-associated-types/issue-86787.rs

   1 #![feature(generic_associated_types)]
   2 // check-fail
   3
   4 enum Either<L, R> {
   5     Left(L),
   6     Right(R),
   7 }
   8
   9 pub trait HasChildrenOf {
  10     type T;
  11     type TRef<'a>;
  12     //~^ missing required
  13
  14     fn ref_children<'a>(&'a self) -> Vec<Self::TRef<'a>>;
  15     fn take_children(self) -> Vec<Self::T>;
  16 }
  17
  18 impl<Left, Right> HasChildrenOf for Either<Left, Right>
  19 where
  20     Left: HasChildrenOf,
  21     Right: HasChildrenOf,
  22 {
  23     type T = Either<Left::T, Right::T>;
  24     type TRef<'a> = Either<&'a Left::T, &'a Right::T>
  25     where
  26         <Left as HasChildrenOf>::T: 'a,
  27         <Right as HasChildrenOf>::T: 'a;
  28
  29     fn ref_children<'a>(&'a self) -> Vec<Self::TRef<'a>> {
  30         todo!()
  31     }
  32
  33     fn take_children(self) -> Vec<Self::T> {
  34         todo!()
  35     }
  36 }
  37
  38 fn main() {}