|
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() {}
|