The most egregious example is: let x:u8 = 10_000; which compiles without complaint. But more generally, if we're going to make a promise to constant-fold the integer-constant grammar, we might well consider overflow checks on all those arithmetic nodes. Opinions?