namespace;

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