tests/ui/rfcs/rfc-2632-const-trait-impl/specialization/default-keyword.rs


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

//@ check-pass

#![feature(const_trait_impl)]
#![feature(min_specialization)]

#[const_trait]
trait Foo {
    fn foo();
}

impl const Foo for u32 {
    default fn foo() {}
}

fn main() {}