diff options
Diffstat (limited to 'src/test/ui/generic-associated-types/variance_constraints.rs')
-rw-r--r-- | src/test/ui/generic-associated-types/variance_constraints.rs | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/test/ui/generic-associated-types/variance_constraints.rs b/src/test/ui/generic-associated-types/variance_constraints.rs deleted file mode 100644 index 0e9dbb8b1..000000000 --- a/src/test/ui/generic-associated-types/variance_constraints.rs +++ /dev/null @@ -1,22 +0,0 @@ -// check-pass -// issue #69184 - -trait A { - type B<'a> where Self: 'a; - - fn make_b<'a>(&'a self) -> Self::B<'a>; -} - -struct S {} -impl A for S { - type B<'a> = &'a S; - fn make_b<'a>(&'a self) -> &'a Self { - self - } -} - -enum E<'a> { - S(<S as A>::B<'a>), -} - -fn main() {} |