1  Error [ETYC0372008]: The value 111111111111111 is not a valid `u8`
 2      --> compiler-test:3:24
 3       |
 4     3 |         let a = [1u32; 111111111111111u8]; // overflow
 5       |                        ^^^^^^^^^^^^^^^^^
 6  Error [ETYC0372008]: The value 111111111111111 is not a valid `u32`
 7      --> compiler-test:4:24
 8       |
 9     4 |         let b = [1u32; 111111111111111]; // overflow
10       |                        ^^^^^^^^^^^^^^^
11  Error [ETYC0372077]: An array cannot have more than 512 elements, found one with 513 elements
12      --> compiler-test:6:17
13       |
14     6 |         let d = [1u32; 513u128]; // passes limits
15       |                 ^^^^^^^^^^^^^^^
16  Error [ETYC0372077]: An array cannot have more than 512 elements, found one with 513 elements
17      --> compiler-test:7:17
18       |
19     7 |         let e = [1u32; 513]; // passes limits
20       |                 ^^^^^^^^^^^