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
|
// run-pass
trait ConstDefault {
const DEFAULT: Self;
}
#[derive(PartialEq)]
enum E {
V(i32),
W(usize),
}
impl ConstDefault for E {
const DEFAULT: Self = Self::V(23);
}
impl ConstDefault for Option<i32> {
const DEFAULT: Self = Self::Some(23);
}
impl E {
const NON_DEFAULT: Self = Self::W(12);
const fn local_fn() -> Self {
Self::V(23)
}
}
const fn explicit_qpath() -> E {
let _x = <Option<usize>>::Some(23);
<E>::W(12)
}
fn main() {
assert!(E::DEFAULT == E::local_fn());
assert!(Option::DEFAULT == Some(23));
assert!(E::NON_DEFAULT == explicit_qpath());
}
|
