pub trait Callback { | |
fn cb(); | |
} | |
pub trait Processing { | |
type Call: Callback; | |
} | |
fn f<P: Processing + ?Sized>() { | |
P::Call::cb(); | |
} | |
fn main() { | |
struct MyCall; | |
f::<dyn Processing<Call = MyCall>>(); | |
//~^ ERROR: the trait bound `MyCall: Callback` is not satisfied | |
} |