tests/pretty/qpath-associated-type-bound.rs


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

//@ pp-exact


mod m {
    pub trait Tr {
        type Ts: super::Tu;
    }
}

trait Tu {
    fn dummy() {}
}

fn foo<T: m::Tr>() { <T as m::Tr>::Ts::dummy(); }

fn main() {}