tests/ui/rfc-2632-const-trait-impl/do-not-const-check-override.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

// check-pass
#![feature(const_trait_impl, rustc_attrs)]

#[const_trait]
trait Foo {
    #[rustc_do_not_const_check]
    fn into_iter(&self) { println!("FEAR ME!") }
}


impl const Foo for () {
    fn into_iter(&self) {
        // ^_^
    }
}

const _: () = Foo::into_iter(&());

fn main() {}