Fix match control-flow of or-patterns

AeneasVerif / charon

Interface with the rustc compiler for the purpose of program verification

Apache License 2.0

62 stars 15 forks source link

Open Nadrieril opened 6 days ago

Nadrieril commented 6 days ago

The latest rustc update (https://github.com/AeneasVerif/charon/pull/272) regressed the MIR of or-patterns. When the fix (https://github.com/rust-lang/rust/pull/127028) lands, we should update our rustc version.