summaryrefslogtreecommitdiffstats
path: root/src/test/ui/associated-type-bounds/issue-83017.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/associated-type-bounds/issue-83017.rs')
-rw-r--r--src/test/ui/associated-type-bounds/issue-83017.rs39
1 files changed, 0 insertions, 39 deletions
diff --git a/src/test/ui/associated-type-bounds/issue-83017.rs b/src/test/ui/associated-type-bounds/issue-83017.rs
deleted file mode 100644
index a02208661..000000000
--- a/src/test/ui/associated-type-bounds/issue-83017.rs
+++ /dev/null
@@ -1,39 +0,0 @@
-// check-pass
-
-#![feature(associated_type_bounds)]
-
-trait TraitA<'a> {
- type AsA;
-}
-
-trait TraitB<'a, 'b> {
- type AsB;
-}
-
-trait TraitC<'a, 'b, 'c> {}
-
-struct X;
-
-impl<'a, 'b, 'c> TraitC<'a, 'b, 'c> for X {}
-
-struct Y;
-
-impl<'a, 'b> TraitB<'a, 'b> for Y {
- type AsB = X;
-}
-
-struct Z;
-
-impl<'a> TraitA<'a> for Z {
- type AsA = Y;
-}
-
-fn foo<T>()
-where
- for<'a> T: TraitA<'a, AsA: for<'b> TraitB<'a, 'b, AsB: for<'c> TraitC<'a, 'b, 'c>>>,
-{
-}
-
-fn main() {
- foo::<Z>();
-}