tests/ui/traits/const-traits/do-not-const-check.rs


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

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

#[const_trait]
trait IntoIter {
    fn into_iter(self);
}

#[const_trait]
trait Hmm: Sized {
    #[rustc_do_not_const_check]
    fn chain<U>(self, other: U) where U: IntoIter,
    {
        other.into_iter()
    }
}

fn main() {}