Index: src/ResolvExpr/ResolveTypeof.cc
===================================================================
--- src/ResolvExpr/ResolveTypeof.cc	(revision 2a301ff093336449f2c416836c58d6e71fa88fd1)
+++ src/ResolvExpr/ResolveTypeof.cc	(revision 4a40fca7195d07e090f940cfac3fc4e3c345c052)
@@ -253,11 +253,6 @@
                             const ast::ObjectDecl * mem = baseEnum->members.at(m).as<const ast::ObjectDecl>();
                             assert(mem);
-                            if ( mem->init ) {
-                                const ast::SingleInit * memInit = mem->init.as<const ast::SingleInit>();
-                                ast::Expr * initValue = shallowCopy( memInit->value.get() );
-                                newDesination->designators.push_back( initValue );
-                            } else {
-                                SemanticError(des->location, "TODO: Enum Array Designation with no explicit value is not implemented");
-                            }
+                            const ast::ConstantExpr * enumAsInit = ast::ConstantExpr::from_int(newDesination->location, m);
+                            newDesination->designators.push_back( enumAsInit );
                         }
                     }