blob: 770f7a31c7642e1c1efc18483f7611b7638da0be (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
// run-pass
pub fn main() {
// Test that these type check correctly.
(&42u8 >> 4) as usize;
(&42u8 << 4) as usize;
let cap = 512 * 512;
cap as u8;
// Assert `cap` did not get inferred to `u8` and overflowed.
assert_ne!(cap, 0);
}
|