Skip to content

Change exhaustiveness analysis to allow a pattern to specialize with multiple constructors#15186

Merged
bors merged 1 commit intomasterfrom
unknown repository
Jul 2, 2014
Merged

Change exhaustiveness analysis to allow a pattern to specialize with multiple constructors#15186
bors merged 1 commit intomasterfrom
unknown repository

Commits

Commits on Jul 2, 2014