Skip to content

Clarify constructor splitting in exhaustiveness checking#80242

Merged
bors merged 13 commits into
rust-lang:masterfrom
Nadrieril:explain-and-factor-splitting
Dec 23, 2020
Merged

Clarify constructor splitting in exhaustiveness checking#80242
bors merged 13 commits into
rust-lang:masterfrom
Nadrieril:explain-and-factor-splitting

Fix a comment

be23694
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs