Fix unsoundness when expanding variant of polymorphic enum#16

coord-e merged 2 commits intomaincoord-e/thrust:mainfrom

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