| //@ edition:2018 | |
| #![feature(min_specialization)] | |
| struct MyStruct; | |
| trait MyTrait<T> { | |
| async fn foo(_: T) -> &'static str; | |
| } | |
| impl<T> MyTrait<T> for MyStruct {} | |
| //~^ ERROR: not all trait items implemented, missing: `foo` [E0046] | |
| impl MyTrait<i32> for MyStruct { | |
| async fn foo(_: i32) -> &'static str {} | |
| //~^ ERROR: `foo` specializes an item from a parent `impl`, but that item is not marked `default` [E0520] | |
| //~| ERROR: mismatched types [E0308] | |
| } | |
| fn main() {} |