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
|
// check-pass
#![feature(type_changing_struct_update)]
#![allow(incomplete_features)]
use std::borrow::Cow;
use std::marker::PhantomData;
#[derive(Default)]
struct NonGeneric {
field1: usize,
}
#[derive(Default)]
struct Generic<T, U> {
field1: T,
field2: U,
}
#[derive(Default)]
struct MoreGeneric<'a, const N: usize> {
// If only `for<const N: usize> [u32; N]: Default`...
field1: PhantomData<[u32; N]>,
field2: Cow<'a, str>,
}
fn main() {
let default1 = NonGeneric { ..Default::default() };
let default2: Generic<i32, f32> = Generic { ..Default::default() };
let default3: MoreGeneric<'static, 12> = MoreGeneric { ..Default::default() };
}
|
