1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
//@ run-pass
//@ compile-flags: -Znext-solver
#![feature(const_trait_impl)]
#[const_trait]
trait Bar {
fn bar() -> u8;
}
#[const_trait]
trait Foo {
fn foo() -> u8 where Self: ~const Bar {
<Self as Bar>::bar() * 6
}
}
struct NonConst;
struct Const;
impl Bar for NonConst {
fn bar() -> u8 {
3
}
}
impl Foo for NonConst {}
impl const Bar for Const {
fn bar() -> u8 {
4
}
}
impl const Foo for Const {}
fn main() {
const ANS1: u8 = Const::foo();
let ans2 = NonConst::foo();
assert_eq!(ANS1 + ans2, 42);
}
|
