tests/ui/associated-types/issue-20825-2.rs

//@ check-pass
pub trait Subscriber {
    type Input;
}

pub trait Processor: Subscriber<Input = <Self as Processor>::Input> {
    type Input;
}

fn main() {}