no_default_cases top-level property

dynamic no_default_cases
getter/setter pair

Implementation

no_default_cases