| //@edition:2018 | |
| #![feature(impl_trait_in_assoc_type)] | |
| pub trait Foo { | |
| type X: std::future::Future<Output = ()>; | |
| fn x(&self) -> Self::X; | |
| } | |
| pub struct F; | |
| impl Foo for F { | |
| type X = impl std::future::Future<Output = ()>; | |
| fn x(&self) -> Self::X { | |
| async {} | |
| } | |
| } |