tests/ui/traits/const-traits/const-supertraits-dyn-compat.rs


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

#![feature(const_trait_impl)]

const trait Super {}

// Not ok
const trait Unconditionally: const Super {}
fn test() {
    let _: &dyn Unconditionally;
    //~^ ERROR the trait `Unconditionally` is not dyn compatible
}

// Okay
const trait Conditionally: [const] Super {}
fn test2() {
    let _: &dyn Conditionally;
}

fn main() {}