// check-pass

fn main() {}

#[cfg(FALSE)]
fn syntax() {
    type A: Ord;
    type B: Ord = u8;
    type C: Ord where 'static: 'static = u8;
    type D<_T>: Ord;
    type E<_T>: Ord = u8;
    type F<_T>: Ord where 'static: 'static = u8;
}