Skip to content

Exhaustiveness: Improve complexity on some wide matches#118796

Merged
bors merged 2 commits into
rust-lang:masterfrom
Nadrieril:fix-exponential-id-match-2
Dec 24, 2023
Merged

Exhaustiveness: Improve complexity on some wide matches#118796
bors merged 2 commits into
rust-lang:masterfrom
Nadrieril:fix-exponential-id-match-2

Rework the explanation of relevancy

efb04e6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs