diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/generic-associated-types/bugs/issue-86218.rs | 27 |
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() {} |