shut up the effect checker on the new nadako tests
[analyzer] propagate constant enum values because enums are immutable