src/test/ui/parser/impl-item-type-no-body-pass.rs

// check-pass

fn main() {}

#[cfg(FALSE)]
impl X {
    type Y;
    type Z: Ord;
    type W: Ord where Self: Eq;
    type W where Self: Eq;
}