summaryrefslogtreecommitdiffstats
path: root/src/test/ui/generic-associated-types/issue-88595.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/generic-associated-types/issue-88595.rs')
-rw-r--r--src/test/ui/generic-associated-types/issue-88595.rs21
1 files changed, 0 insertions, 21 deletions
diff --git a/src/test/ui/generic-associated-types/issue-88595.rs b/src/test/ui/generic-associated-types/issue-88595.rs
deleted file mode 100644
index 24641ee1f..000000000
--- a/src/test/ui/generic-associated-types/issue-88595.rs
+++ /dev/null
@@ -1,21 +0,0 @@
-#![feature(type_alias_impl_trait)]
-
-fn main() {}
-
-trait A<'a> {
- type B<'b>: Clone
- // FIXME(generic_associated_types): Remove one of the below bounds
- // https://github.com/rust-lang/rust/pull/90678#discussion_r744976085
- where
- Self: 'a, Self: 'b;
-
- fn a(&'a self) -> Self::B<'a>;
-}
-
-struct C;
-
-impl<'a> A<'a> for C {
- type B<'b> = impl Clone;
-
- fn a(&'a self) -> Self::B<'a> {} //~ ERROR: non-defining opaque type use in defining scope
-}