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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
// run-pass
#![allow(non_shorthand_field_patterns)]
use std::mem;
struct S {
x: isize,
y: isize,
}
type S2 = S;
struct S3<U,V> {
x: U,
y: V
}
type S4<U> = S3<U, char>;
fn main() {
let s = S2 {
x: 1,
y: 2,
};
match s {
S2 {
x: x,
y: y
} => {
assert_eq!(x, 1);
assert_eq!(y, 2);
}
}
// check that generics can be specified from the pattern
let s = S4 {
x: 4,
y: 'a'
};
match s {
S4::<u8> {
x: x,
y: y
} => {
assert_eq!(x, 4);
assert_eq!(y, 'a');
assert_eq!(mem::size_of_val(&x), 1);
}
};
// check that generics can be specified from the constructor
let s = S4::<u16> {
x: 5,
y: 'b'
};
match s {
S4 {
x: x,
y: y
} => {
assert_eq!(x, 5);
assert_eq!(y, 'b');
assert_eq!(mem::size_of_val(&x), 2);
}
};
}
|
