Skip to content

exhaustiveness: Rework constructor splitting#116391

Merged
bors merged 8 commits intorust-lang:masterfrom
Nadrieril:constructorset
Oct 12, 2023
Merged

exhaustiveness: Rework constructor splitting#116391
bors merged 8 commits intorust-lang:masterfrom
Nadrieril:constructorset

Commits

Commits on Oct 3, 2023

Commits on Oct 4, 2023