blob: 26b923f431f98cf6ad2588a924d796f0ab859974 (
plain)
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
|
// run-pass
#![feature(unsized_tuple_coercion)]
// Ensure that unsizable fields that might be accessed don't get reordered
fn nonzero_size() {
let sized: (u8, [u32; 2]) = (123, [456, 789]);
let unsize: &(u8, [u32]) = &sized;
assert_eq!(unsize.0, 123);
assert_eq!(unsize.1.len(), 2);
assert_eq!(unsize.1[0], 456);
assert_eq!(unsize.1[1], 789);
}
fn zst() {
let sized: (u8, [u32; 0]) = (123, []);
let unsize: &(u8, [u32]) = &sized;
assert_eq!(unsize.0, 123);
assert_eq!(unsize.1.len(), 0);
}
pub fn main() {
nonzero_size();
zst();
}
|