1 2 3 4 5 6 7 8 9 10 11 12 13 14
// check-pass // edition:2018 // See issue 60414 trait Trait { type Assoc; } async fn foo<T: Trait<Assoc=()>>() -> T::Assoc { () } fn main() {}