[rustc.git] / src / test / ui / rfc-2632-const-trait-impl / impl-with-default-fn-pass.rs

// check-pass

#![feature(const_trait_impl)]

#[const_trait]
trait Tr {
    fn req(&self);

    fn default() {}
}

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

macro_rules! impl_tr {
    ($ty: ty) => {
        impl const Tr for $ty {
            fn req(&self) {}
        }
    }
}

impl_tr!(u64);

fn main() {}
Commit	Line	Data
c295e0f8 XL	1	// check-pass
	2
	3	#![feature(const_trait_impl)]
c295e0f8	4
923072b8	5	#[const_trait]
c295e0f8 XL	6	trait Tr {
	7	fn req(&self);
	8
c295e0f8 XL	9	fn default() {}
	10	}
	11
	12	impl const Tr for u8 {
	13	fn req(&self) {}
c295e0f8 XL	14	}
	15
	16	macro_rules! impl_tr {
	17	($ty: ty) => {
	18	impl const Tr for $ty {
	19	fn req(&self) {}
c295e0f8 XL	20	}
	21	}
	22	}
	23
	24	impl_tr!(u64);
	25
	26	fn main() {}