trait X { }
impl X for uint { }

trait Y { }
impl Y for uint { }