summaryrefslogtreecommitdiffstats
path: root/tests/mir-opt/simplify_arm_identity.rs
blob: e122cd50e00164db22e1397f5fa2c596d0c64c26 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
// Checks that `SimplifyArmIdentity` is not applied if enums have incompatible layouts.
// Regression test for issue #66856.
//
// compile-flags: -Zmir-opt-level=3
// EMIT_MIR_FOR_EACH_BIT_WIDTH

// ignore-test This pass is broken since deaggregation changed

enum Src {
    Foo(u8),
    Bar,
}

enum Dst {
    Foo(u8),
}

// EMIT_MIR simplify_arm_identity.main.SimplifyArmIdentity.diff
fn main() {
    let e: Src = Src::Foo(0);
    let _: Dst = match e {
        Src::Foo(x) => Dst::Foo(x),
        Src::Bar => Dst::Foo(0),
    };
}