tests/ui/associated-types/issue-19129-1.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//@ check-pass

trait Trait<Input> {
    type Output;

    fn method() -> <Self as Trait<Input>>::Output;
}

impl<T> Trait<T> for () {
    type Output = ();

    fn method() {}
}

fn main() {}