...
Conversions from unsigned types with greater precision to signed unsigned types with lesser precision require only the upper bounds to be checked.
...
...
Conversions from unsigned types with greater precision to signed unsigned types with lesser precision require only the upper bounds to be checked.
...