namespace;

// expect: type error: initializer: expected color, got int
typecheck on;
enum color { RED, GREEN = 5, BLUE };
int main() { color c = 1; return c; }