1 2 3 4 5 6 7 8 9 10
// check-pass pub trait Subscriber { type Input; } pub trait Processor: Subscriber<Input = <Self as Processor>::Input> { type Input; } fn main() {}