1 // run-pass
2 #![allow(non_camel_case_types)]
3
4
5 #[derive(Copy, Clone)]
6 struct Point {x: isize, y: isize}
7
8 type rect = (Point, Point);
9
fst(r: rect) -> Point10 fn fst(r: rect) -> Point { let (fst, _) = r; return fst; }
snd(r: rect) -> Point11 fn snd(r: rect) -> Point { let (_, snd) = r; return snd; }
12
f(r: rect, x1: isize, y1: isize, x2: isize, y2: isize)13 fn f(r: rect, x1: isize, y1: isize, x2: isize, y2: isize) {
14 assert_eq!(fst(r).x, x1);
15 assert_eq!(fst(r).y, y1);
16 assert_eq!(snd(r).x, x2);
17 assert_eq!(snd(r).y, y2);
18 }
19
main()20 pub fn main() {
21 let r: rect = (Point {x: 10, y: 20}, Point {x: 11, y: 22});
22 assert_eq!(fst(r).x, 10);
23 assert_eq!(fst(r).y, 20);
24 assert_eq!(snd(r).x, 11);
25 assert_eq!(snd(r).y, 22);
26 let r2 = r;
27 let x: isize = fst(r2).x;
28 assert_eq!(x, 10);
29 f(r, 10, 20, 11, 22);
30 f(r2, 10, 20, 11, 22);
31 }
32