| // edition:2018 | |
| #![feature(type_alias_impl_trait)] | |
| type F = impl core::future::Future<Output = u8>; | |
| struct Bug { | |
| V1: [(); { | |
| fn concrete_use() -> F { | |
| //~^ ERROR expected `impl Future<Output = ()>` to be a future that resolves to `u8`, but it resolves to `()` | |
| async {} | |
| } | |
| let f: F = async { 1 }; | |
| //~^ ERROR `async` blocks are not allowed in constants | |
| //~| ERROR destructor of | |
| 1 | |
| }], | |
| } | |
| fn main() {} |