fn main() {
let x: u8 = 256;
//~^ error: literal out of range for `u8`
for _ in 0..256u8 {}
//~^ error: range endpoint is out of range for `u8`
}