1  Error [ETYC0372117]: Expected type `[u8; 31]` but type `[u8; 32]` was found.
 2      --> compiler-test:5:27
 3       |
 4     5 |         let d: [u8; 31] = Program::checksum(credits.alpha);
 5       |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 6  Error [ETYC0372119]: Received different types `[u8; 32]` and `[u8; 31]` for the operation `assert_neq`.
 7      --> compiler-test:6:9
 8       |
 9     6 |         assert_neq(c, d);
10       |         ^^^^^^^^^^^^^^^^^
11       |
12       = Make both operands the same type.
13  Error [ETYC0372156]: `Program::edition` must be called on a program ID, e.g. `foo.alpha`
14      --> compiler-test:8:39
15       |
16     8 |         let e: u16 = Program::edition(d);
17       |                                       ^
18  Error [ETYC0372117]: Expected type `address` but type `[u8; 31]` was found.
19      --> compiler-test:8:39
20       |
21     8 |         let e: u16 = Program::edition(d);
22       |                                       ^
23  Error [ETYC0372117]: Expected type `u8` but type `u16` was found.
24      --> compiler-test:9:21
25       |
26     9 |         let f: u8 = Program::edition(credits.alpha);
27       |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
28  Error [ETYC0372119]: Received different types `u16` and `u8` for the operation `assert_neq`.
29      --> compiler-test:10:9
30       |
31    10 |         assert_neq(e, f);
32       |         ^^^^^^^^^^^^^^^^^
33       |
34       = Make both operands the same type.