summaryrefslogtreecommitdiffstats
path: root/src/test/ui/generic-associated-types/issue-87429-2.rs
diff options
context:
space:
mode:
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.rs18
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() {}