Skip to content

Key the declared constructor and the pattern with one identity - #11301

Closed
gunbai-bot[bot] wants to merge 8 commits into
mainfrom
session/neat-moth-241
Closed

Key the declared constructor and the pattern with one identity#11301
gunbai-bot[bot] wants to merge 8 commits into
mainfrom
session/neat-moth-241

Failure mode: a coproduct declares one variant twice

9a9b2e6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar