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

   1 // pp-exact
   2
   3
   4 mod m {
   5     pub trait Tr {
   6         type Ts: super::Tu;
   7     }
   8 }
   9
  10 trait Tu {
  11     fn dummy() {}
  12 }
  13
  14 fn foo<T: m::Tr>() { <T as m::Tr>::Ts::dummy(); }
  15
  16 fn main() {}