blob: 2f2d9d0102d1232030ee6c2d66d4489f19ef6090 (
plain)
1
2
3
4
5
6
7
8
|
// compile-flags: -Zunsound-mir-opts
// EMIT_MIR inherit_overflow.main.DataflowConstProp.diff
fn main() {
// After inlining, this will contain a `CheckedBinaryOp`. The overflow
// must be ignored by the constant propagation to avoid triggering a panic.
let _ = <u8 as std::ops::Add>::add(255, 1);
}
|
