//@ check-pass
//@ edition:2018

// See issue 60414

trait Trait {
    type Assoc;
}

async fn foo<T: Trait<Assoc=()>>() -> T::Assoc {
    ()
}

fn main() {}