src/test/ui/parser/trait-item-with-defaultness-fail-semantic.rs


1
2
3
4
5
6
7
8
9
10
11
12

#![feature(specialization)] //~ WARN the feature `specialization` is incomplete

fn main() {}

trait X {
    default const A: u8; //~ ERROR `default` is only allowed on items in trait impls
    default const B: u8 = 0;  //~ ERROR `default` is only allowed on items in trait impls
    default type D; //~ ERROR `default` is only allowed on items in trait impls
    default type C: Ord; //~ ERROR `default` is only allowed on items in trait impls
    default fn f1(); //~ ERROR `default` is only allowed on items in trait impls
    default fn f2() {} //~ ERROR `default` is only allowed on items in trait impls
}