1 #![feature(const_trait_impl)]
3 #[default_method_body_is_const] //~ ERROR attribute should be applied
5 #[default_method_body_is_const] //~ ERROR attribute should be applied
8 #[default_method_body_is_const]
9 fn correct_use(&self) {}
12 #[default_method_body_is_const] //~ ERROR attribute should be applied