1  Error [EAST0372017]: The name `x` is defined multiple times.
2      --> compiler-test:3:13
3       |
4     2 |       transition main(x: u32) -> u32 {
5       |                       ^ previous definition of `x` here
6     3 |           let x: u32 = 10u32;
7       |               ^ `x` redefined here