Pattern discard not allowed for union case that takes no data#14055
Merged
vzarytovskii merged 13 commits intoOct 10, 2022
Merged
Pattern discard not allowed for union case that takes no data#14055vzarytovskii merged 13 commits into
vzarytovskii merged 13 commits into