summaryrefslogtreecommitdiffstats
path: root/tests/ui/mir/issue-66851.rs
blob: 878ad4e475a1e136d53dffd2c47190d37fe6c2d3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
// This used to mis-compile because the mir-opt `SimplifyArmIdentity`
// did not check that the types matched up in the `Ok(r)` branch.
//
// run-pass
// compile-flags: -Zmir-opt-level=3

#[derive(Debug, PartialEq, Eq)]
enum SpecialsRes { Res(u64) }

fn e103() -> SpecialsRes {
    if let Ok(r) = "1".parse() {
        SpecialsRes::Res(r)
    } else {
        SpecialsRes::Res(42)
    }
}

fn main() {
    assert_eq!(e103(), SpecialsRes::Res(1));
}