#![feature(const_trait_impl)]

trait Tr {
    fn req(&self);

    fn prov(&self) {
        println!("lul");
        self.req();
    }

    #[default_method_body_is_const]
    fn default() {}
}

struct S;

impl const Tr for S {
    fn req(&self) {}
} //~^^ ERROR const trait implementations may not use non-const default functions

impl const Tr for u8 {
    fn req(&self) {}
    fn prov(&self) {}
}

impl const Tr for u16 {
    fn prov(&self) {}
    fn default() {}
} //~^^^ ERROR not all trait items implemented


impl const Tr for u32 {
    fn req(&self) {}
    fn default() {}
} //~^^^ ERROR const trait implementations may not use non-const default functions

fn main() {}