H. S. Teoh:
What would you check for? Shifting something that already has its high bit set?
If you have a uint where the 3 most significant bits are 1, and you shift it 3 bits on the left, you lose those three bits, you have an overflow. The point of checkedint functions/intrinsics is to reveal overflows.
Bye, bearophile
