Skip to content

Fix match_same_arms in stable_mir#131700

Merged
bors merged 1 commit intorust-lang:masterfrom
practicalrs:fix_match_same_arms
Oct 16, 2024
Merged

Fix match_same_arms in stable_mir#131700
bors merged 1 commit intorust-lang:masterfrom
practicalrs:fix_match_same_arms

Commits

Commits on Oct 14, 2024