1 2 3 4 5 6 7 8 9 10 11
//@ check-pass fn main() {} #[cfg(false)] impl X { type Y; type Z: Ord; type W: Ord where Self: Eq; type W where Self: Eq; }