summaryrefslogtreecommitdiffstats
path: root/src/test/ui/generic-associated-types/bugs/issue-86218.rs
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/test/ui/generic-associated-types/bugs/issue-86218.rs27
1 files changed, 0 insertions, 27 deletions
diff --git a/src/test/ui/generic-associated-types/bugs/issue-86218.rs b/src/test/ui/generic-associated-types/bugs/issue-86218.rs
deleted file mode 100644
index fb62c10a9..000000000
--- a/src/test/ui/generic-associated-types/bugs/issue-86218.rs
+++ /dev/null
@@ -1,27 +0,0 @@
-// check-fail
-// known-bug: #86218
-
-// This should pass, but seems to run into a TAIT issue.
-
-#![feature(generic_associated_types)]
-#![feature(type_alias_impl_trait)]
-
-pub trait Stream {
- type Item;
-}
-
-impl Stream for () {
- type Item = i32;
-}
-
-trait Yay<AdditionalValue> {
- type InnerStream<'s>: Stream<Item = i32> + 's;
- fn foo<'s>() -> Self::InnerStream<'s>;
-}
-
-impl<'a> Yay<&'a ()> for () {
- type InnerStream<'s> = impl Stream<Item = i32> + 's;
- fn foo<'s>() -> Self::InnerStream<'s> { todo!() }
-}
-
-fn main() {}