1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
#![allow(incomplete_features)] #![feature(const_trait_impl, effects)] #[const_trait] trait Tr { fn req(&self); fn default() {} } struct S; impl const Tr for u16 { fn default() {} } //~^^ ERROR not all trait items implemented fn main() {}