Skip to content

remove special-casing of boxes from match exhaustiveness/usefulness analysis#143414

Merged
bors merged 1 commit intorust-lang:masterfrom
dianne:box-usefulness-cleanup
Jul 5, 2025
Merged

remove special-casing of boxes from match exhaustiveness/usefulness analysis#143414
bors merged 1 commit intorust-lang:masterfrom
dianne:box-usefulness-cleanup

Commits

Commits on Jul 4, 2025