25-promotion.ha (260B)
1 export fn main() void = { 2 assert(0xFFu8 << 8u16 == 0xFF00u16); 3 assert(0xFFu8 << 8u8 == 0u8); 4 assert(0xFFu8 << 24u32 == 0xFF000000u32); 5 assert(0xFFu8 << 32u32 == 0xFFu32); 6 assert(0xFFu8 << 32u64 == 0xFF00000000u64); 7 assert(0xFFu8 << 64u64 == 0xFFu64); 8 };