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