src/test/ui/mir/issue-66851.rs

   1 // This used to mis-compile because the mir-opt `SimplifyArmIdentity`
   2 // did not check that the types matched up in the `Ok(r)` branch.
   3 //
   4 // run-pass
   5 // compile-flags: -Zmir-opt-level=3
   6
   7 #[derive(Debug, PartialEq, Eq)]
   8 enum SpecialsRes { Res(u64) }
   9
  10 fn e103() -> SpecialsRes {
  11     if let Ok(r) = "1".parse() {
  12         SpecialsRes::Res(r)
  13     } else {
  14         SpecialsRes::Res(42)
  15     }
  16 }
  17
  18 fn main() {
  19     assert_eq!(e103(), SpecialsRes::Res(1));
  20 }