src/tools/miri/tests/pass/products.rs

   1 fn tuple() -> (i16,) {
   2     (1,)
   3 }
   4
   5 fn tuple_2() -> (i16, i16) {
   6     (1, 2)
   7 }
   8
   9 fn tuple_5() -> (i16, i16, i16, i16, i16) {
  10     (1, 2, 3, 4, 5)
  11 }
  12
  13 #[derive(Debug, PartialEq)]
  14 struct Pair {
  15     x: i8,
  16     y: i8,
  17 }
  18
  19 fn pair() -> Pair {
  20     Pair { x: 10, y: 20 }
  21 }
  22
  23 fn field_access() -> (i8, i8) {
  24     let mut p = Pair { x: 10, y: 20 };
  25     p.x += 5;
  26     (p.x, p.y)
  27 }
  28
  29 fn main() {
  30     assert_eq!(tuple(), (1,));
  31     assert_eq!(tuple_2(), (1, 2));
  32     assert_eq!(tuple_5(), (1, 2, 3, 4, 5));
  33     assert_eq!(pair(), Pair { x: 10, y: 20 });
  34     assert_eq!(field_access(), (15, 20));
  35 }