summaryrefslogtreecommitdiffstats
path: root/tests/ui/generic-associated-types/issue-86787.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/generic-associated-types/issue-86787.rs')
-rw-r--r--tests/ui/generic-associated-types/issue-86787.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/ui/generic-associated-types/issue-86787.rs b/tests/ui/generic-associated-types/issue-86787.rs
index 96075ca50..5edd0a9f0 100644
--- a/tests/ui/generic-associated-types/issue-86787.rs
+++ b/tests/ui/generic-associated-types/issue-86787.rs
@@ -22,8 +22,8 @@ where
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;
+ <Left as HasChildrenOf>::T: 'a, //~ ERROR impl has stricter requirements than trait
+ <Right as HasChildrenOf>::T: 'a; //~ ERROR impl has stricter requirements than trait
fn ref_children<'a>(&'a self) -> Vec<Self::TRef<'a>> {
todo!()