pub trait T {
    type C;
    fn dummy(&self) { }
}