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() {}