mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

replaced wrong test with the correct mcve

Browse Source
This commit is contained in:
Sarthak Singh 2022-10-21 13:08:30 +05:30
parent b1ab3b738a
commit cc6ad45148
2 changed files with 11 additions and 36 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
src/test/ui/generic-associated-types/bugs/issue-89008.stderr
View File

@ -1,19 +0,0 @@
error[E0271]: type mismatch resolving `<Empty<_> as Stream>::Item == Repr`
--> $DIR/issue-89008.rs:38:43
|
LL | fn line_stream<'a, Repr>(&'a self) -> Self::LineStreamFut<'a, Repr> {
| ---- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type mismatch resolving `<Empty<_> as Stream>::Item == Repr`
| |
| this type parameter
|
note: expected this to be `()`
--> $DIR/issue-89008.rs:17:17
|
LL | type Item = ();
| ^^
= note: expected unit type `()`
found type parameter `Repr`
error: aborting due to previous error
For more information about this error, try `rustc --explain E0271`.

28
src/test/ui/generic-associated-types/bugs/issue-89008.rs → src/test/ui/generic-associated-types/issue-89008.rs
View File

@ -1,42 +1,36 @@
// check-fail // check-pass
// edition:2021 // edition:2021
// known-bug: #88908
// This should pass, but seems to run into a TAIT bug.
#![feature(type_alias_impl_trait)] #![feature(type_alias_impl_trait)]
use std::future::Future; use std::future::Future;
use std::marker::PhantomData;
trait Stream { trait Stream {
type Item; type Item;
} }
struct Empty<T>(T); struct Empty<T> {
impl<T> Stream for Empty<T> { _phantom: PhantomData<T>,
type Item = ();
} }
fn empty<T>() -> Empty<T> {
todo!() impl<T> Stream for Empty<T> {
type Item = T;
} }
trait X { trait X {
type LineStream<'a, Repr>: Stream<Item = Repr> where Self: 'a; type LineStream<'a, Repr>: Stream<Item = Repr> where Self: 'a;
type LineStreamFut<'a, Repr>: Future<Output = Self::LineStream<'a, Repr>> where Self: 'a;
type LineStreamFut<'a,Repr>: Future<Output = Self::LineStream<'a, Repr>> where Self: 'a; fn line_stream<'a, Repr>(&'a self) -> Self::LineStreamFut<'a, Repr>;
fn line_stream<'a,Repr>(&'a self) -> Self::LineStreamFut<'a,Repr>;
} }
struct Y; struct Y;
impl X for Y { impl X for Y {
type LineStream<'a, Repr> = impl Stream<Item = Repr>; type LineStream<'a, Repr> = impl Stream<Item = Repr>;
type LineStreamFut<'a, Repr> = impl Future<Output = Self::LineStream<'a, Repr>>;
type LineStreamFut<'a, Repr> = impl Future<Output = Self::LineStream<'a, Repr>> ;
fn line_stream<'a, Repr>(&'a self) -> Self::LineStreamFut<'a, Repr> { fn line_stream<'a, Repr>(&'a self) -> Self::LineStreamFut<'a, Repr> {
async {empty()} async { Empty { _phantom: PhantomData } }
} }
} }