Fix unsoundness when expanding variant of polymorphic enum#16

coord-e wants to merge 1 commit intomaincoord-e/thrust:mainfrom

unused-variant-predicatecoord-e/thrust:unused-variant-predicateCopy head branch name to clipboard