src/test/pretty/empty-impl.pp

trait X { }
impl X for uint { }

trait Y { }
impl Y for uint { }