//@ check-pass
fn main() {}
#[cfg(FALSE)]
trait X {
default const A: u8;
default const B: u8 = 0;
default type D;
default type C: Ord;
default fn f1();
default fn f2() {}
}