dslx: reject duplicate match alternatives - #4731

dslx: reject duplicate match alternatives#4731

dank-openai wants to merge 1 commit into

google:maingoogle/xls:mainfrom

xlsynth:dank/wip/upstream-dslx-duplicate-match-alternatives-0806xlsynth/xlsynth:dank/wip/upstream-dslx-duplicate-match-alternatives-0806Copy head branch name to clipboard