diff options
Diffstat (limited to 'src/test/ui/generic-associated-types/issue-86787.rs')
-rw-r--r-- | src/test/ui/generic-associated-types/issue-86787.rs | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/src/test/ui/generic-associated-types/issue-86787.rs b/src/test/ui/generic-associated-types/issue-86787.rs deleted file mode 100644 index 96075ca50..000000000 --- a/src/test/ui/generic-associated-types/issue-86787.rs +++ /dev/null @@ -1,37 +0,0 @@ -// check-fail - -enum Either<L, R> { - Left(L), - Right(R), -} - -pub trait HasChildrenOf { - type T; - type TRef<'a>; - //~^ missing required - - fn ref_children<'a>(&'a self) -> Vec<Self::TRef<'a>>; - fn take_children(self) -> Vec<Self::T>; -} - -impl<Left, Right> HasChildrenOf for Either<Left, Right> -where - Left: HasChildrenOf, - Right: HasChildrenOf, -{ - type T = Either<Left::T, Right::T>; - type TRef<'a> = Either<&'a Left::T, &'a Right::T> - where - <Left as HasChildrenOf>::T: 'a, - <Right as HasChildrenOf>::T: 'a; - - fn ref_children<'a>(&'a self) -> Vec<Self::TRef<'a>> { - todo!() - } - - fn take_children(self) -> Vec<Self::T> { - todo!() - } -} - -fn main() {} |