Skip to content

Correctly handle nested or-patterns in exhaustiveness#117398

Merged
bors merged 1 commit intorust-lang:masterfrom
Nadrieril:fix-117378
Oct 30, 2023
Merged

Correctly handle nested or-patterns in exhaustiveness#117398
bors merged 1 commit intorust-lang:masterfrom
Nadrieril:fix-117378

Commits

Commits on Oct 30, 2023