Keep an enum constant a contract still names - #216

Draft

nikswamy wants to merge 2 commits into

mainfrom

nswamy/pal-pr04a-prune-enum-constants

Commits on Aug 24, 2026

Type switch scrutinee bindings by their enumeration type

authored and
gebner
committed
49e968d
Keep an enum constant a contract still names

authored and
gebner
committed
d0b403b