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
|
//@ check-pass
// Ensure that `default_field_values` and `const_default` interact properly.
#![feature(const_default)]
#![feature(const_trait_impl)]
#![feature(default_field_values)]
#![feature(derive_const)]
#[derive(PartialEq, Eq, Debug)]
#[derive_const(Default)]
struct S {
r: Option<String> = <Option<_> as Default>::default(),
s: String = String::default(),
o: Option<String> = Option::<String>::default(),
p: std::marker::PhantomData<()> = std::marker::PhantomData::default(),
q: Option<String> = <Option<String> as Default>::default(),
t: Option<String> = Option::default(),
v: Option<String> = const { Option::default() },
}
const _: S = S { .. };
const _: S = const { S { .. } };
const _: S = S::default();
const _: S = const { S::default() };
fn main() {
let s = S { .. };
assert_eq!(s.r, None);
assert_eq!(&s.s, "");
assert_eq!(s.o, None);
assert_eq!(s.p, std::marker::PhantomData);
assert_eq!(s.q, None);
assert_eq!(s.t, None);
assert_eq!(s.v, None);
assert_eq!(s, S::default());
}
|
