| // Regression test for #121534 |
| // Tests that no ICE occurs in KnownPanicsLint when it |
| // evaluates an operation whose operands have different |
| // layout types even though they have the same type. |
| // This situation can be contrived through the use of |
| // unions as in this test |
| |
| //@ build-pass |
| union Union { |
| u32_field: u32, |
| i32_field: i32, |
| } |
| |
| pub fn main() { |
| let u32_variant = Union { u32_field: 2 }; |
| let i32_variant = Union { i32_field: 3 }; |
| let a = unsafe { u32_variant.u32_field }; |
| let b = unsafe { i32_variant.u32_field }; |
| |
| let _diff = a - b; |
| } |
