Rename UninhabitedEnumBranching to UnreachableEnumBranching #122225
Merged
bors merged 6 commits intorust-lang:masterfrom Apr 3, 2024
Merged
Rename `UninhabitedEnumBranching` to `UnreachableEnumBranching` #122225bors merged 6 commits intorust-lang:masterfrom
bors merged 6 commits intorust-lang:masterfrom
Commits
Commits on Mar 9, 2024
Commits on Mar 13, 2024
- committed
- committed
- committed
- committed
- committed