1 2 3 4 5 6
//@ run-fail //@ error-pattern:location-sub-overflow.rs fn main() { let _: u8 = 0 - &1; }