Underlying type's implicit conversion of the shift operators

[chill]

Is there a implicit conversion in shift expressions?

The underlying type of the result is the underlying type of the shift-expression.

[code]
int8_t i8;
uint8_t u8;
uint32_t u32;
int32_t i32;

u32 + i8; // i8 -> u32
u32 += i8; // i8 -> u32

u32