[daenz]

Sounds like a footgun to me

[bonzini]

It means for example that a bitmap is the same no matter if its code accesses it in groups of 8/16/32/64 bits.

[daenz]

I get it, but it also means values will appear to be correct, instead of obviously wrong, if the data is cast without concern for the value range. Then one day someone enters a value and exceeds that range and BOOM