about summary refs log tree commit diff
path: root/tests/ui/traits/const-traits/do-not-const-check-override.rs
blob: 2b8e1d38ac99faa7b17358e3cc64d6dc4b1b05af (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
//@ check-pass
//@ compile-flags: -Znext-solver
#![allow(incomplete_features)]
#![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() {}