38 lines
803 B
Rust
38 lines
803 B
Rust
#![feature(type_alias_impl_trait)]
|
|
// edition:2021
|
|
//[rpit] check-pass
|
|
// revisions: tait rpit
|
|
|
|
struct Pending {}
|
|
|
|
struct CantOpen {}
|
|
|
|
trait AsyncRead {}
|
|
|
|
impl AsyncRead for i32 {}
|
|
|
|
type PendingReader<'a> = impl AsyncRead + 'a;
|
|
|
|
#[cfg(tait)]
|
|
type OpeningReadFuture<'a> = impl std::future::Future<Output = Result<PendingReader<'a>, CantOpen>>;
|
|
|
|
impl Pending {
|
|
async fn read(&mut self) -> Result<impl AsyncRead + '_, CantOpen> {
|
|
Ok(42)
|
|
}
|
|
|
|
#[cfg(tait)]
|
|
fn read_fut(&mut self) -> OpeningReadFuture<'_> {
|
|
self.read() //[tait]~ ERROR: cannot satisfy `impl AsyncRead + 'a == PendingReader<'a>`
|
|
}
|
|
|
|
#[cfg(rpit)]
|
|
fn read_fut(
|
|
&mut self,
|
|
) -> impl std::future::Future<Output = Result<PendingReader<'_>, CantOpen>> {
|
|
self.read()
|
|
}
|
|
}
|
|
|
|
fn main() {}
|