Narrow record-type unions on their literal discriminant key - #2313

Narrow record-type unions on their literal discriminant key#2313

soutaro merged 4 commits into

soutaro:mastersoutaro/steep:masterfrom

dak2:record-union-narrowingdak2/steep:record-union-narrowingCopy head branch name to clipboard