diff options
Diffstat (limited to 'src/test/ui/generic-associated-types/issue-87429-2.rs')
-rw-r--r-- | src/test/ui/generic-associated-types/issue-87429-2.rs | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/test/ui/generic-associated-types/issue-87429-2.rs b/src/test/ui/generic-associated-types/issue-87429-2.rs deleted file mode 100644 index feb43ee5a..000000000 --- a/src/test/ui/generic-associated-types/issue-87429-2.rs +++ /dev/null @@ -1,18 +0,0 @@ -// Derived from `issue-87429`. A test that ensures that using bound vars in the -// predicates in the param env when checking that an associated type satisfies -// its bounds does not cause us to not be able to use the bounds on the parameters. - -// check-pass - -trait Family { - type Member<'a, C: Eq>: for<'b> MyBound<'b, C>; -} - -trait MyBound<'a, C> { } -impl<'a, C: Eq> MyBound<'a, C> for i32 { } - -impl Family for () { - type Member<'a, C: Eq> = i32; -} - -fn main() {} |