trait X { }
impl X for T;

trait Y { }
impl Y for T;