1  /*
 2  seed = 123456789
 3  
 4  [case]
 5  program = "test_casts.alpha"
 6  function = "do_casts"
 7  input = ["1234field", "0group", "12scalar", "100u32", "50i32"]
 8  [case]
 9  program = "test_casts.alpha"
10  function = "do_casts"
11  input = ["12345field", "0group", "10scalar", "101u32", "51i32"]
12  */
13  
14  
15  program test_casts.alpha {
16      transition do_casts(a: field, b: group, c: scalar, d: u32, e: i32) -> (
17          field,
18          field,
19          field,
20          field,
21          field,
22          u16,
23          u16,
24          u16,
25          u16,
26          u16,
27      ) {
28          return (
29              a as field,
30              b as field,
31              c as field,
32              d as field,
33              e as field,
34              a as u16,
35              b as u16,
36              c as u16,
37              d as u16,
38              e as u16,
39          );
40      }
41  
42      @noupgrade
43      async constructor() {}
44  }