pub trait MyTrait {
    type Assoc;
}

pub fn foo<S, T>(_s: S, _t: T)
where
    S: MyTrait,
    T: MyTrait<Assoc == S::Assoc>,
    //~^ ERROR: expected one of `,` or `>`, found `==`
    //~| ERROR: trait takes 0 generic arguments but 1 generic argument was supplied
{
}

fn main() {}