Ignore parsed types of local variables in unchecked mode and replace them with

runtime/vm/parser.h

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #ifndef VM_PARSER_H_
 #define VM_PARSER_H_
 
 #include "include/dart_api.h"
 
 #include "vm/ast.h"
@@ skipping 200 matching lines @@
                                     const String& url);
   void ParseLibraryDefinition();
   void ParseLibraryName();
   void ParseLibraryImport();
   void ParseLibraryInclude();
 
   void TryResolveTypeFromClass(intptr_t type_pos,
                                const Class& cls,
                                AbstractType* type);
   enum TypeResolution {
+    kIgnore,  // Parsed type is ignored and replaced by Dynamic.
     kDoNotResolve,  // Type resolution is postponed.
     kCanResolve,  // Type resolution is optional.
     kMustResolve  // Type resolution is required.
   };
   RawAbstractType* ParseType(TypeResolution type_resolution);
   void ParseTypeParameters(const Class& cls);
   RawAbstractTypeArguments* ParseTypeArguments(TypeResolution type_resolution);
   void ParseQualIdent(QualIdent* qual_ident);
   void ParseMethodOrConstructor(ClassDesc* members, MemberDesc* method);
   void ParseFieldDefinition(ClassDesc* members, MemberDesc* field);
@@ skipping 80 matching lines @@
   // Adds try block to the list of try blocks seen so far.
   void PushTryBlock(Block* try_block);
   // Pops the inner most try block from the list.
   TryBlocks* PopTryBlock();
   // Add specified node to try block list so that it can be patched with
   // inlined finally code if needed.
   void AddNodeForFinallyInlining(AstNode* node);
   // Add the inlined finally block to the specified node.
   void AddFinallyBlockToNode(AstNode* node, InlinedFinallyNode* finally_node);
   AstNode* ParseTryStatement(String* label_name);
-
-  enum TypeSpecification {
-    kIsOptional,  // Type specification is optional.
-    kIsMandatory  // Type specification is mandatory.
-  };
-  RawAbstractType* ParseFinalVarOrType(TypeSpecification type_specification,
-                               TypeResolution type_resolution);
-  const AbstractType& ParseConstVarOrType(TypeSpecification type_specification);
+  RawAbstractType* ParseFinalVarOrType(TypeResolution type_resolution);
   AstNode* ParseVariableDeclaration(const AbstractType& type, bool is_const);
   AstNode* ParseVariableDeclarationList();
   AstNode* ParseFunctionStatement(bool is_literal);
   AstNode* ParseStatement();
   SequenceNode* ParseNestedStatement(bool parsing_loop_body,
                                      SourceLabel* label);
   void ParseStatementSequence();
   bool IsIdentifier();
   bool IsFunctionTypeAliasName();
   bool IsTypeParameter();
@@ skipping 121 matching lines @@
   // code at all points in the try block where an exit from the block is
   // done using 'return', 'break' or 'continue' statements.
   TryBlocks* try_blocks_list_;
 
   DISALLOW_COPY_AND_ASSIGN(Parser);
 };
 
 }  // namespace dart
 
 #endif  // VM_PARSER_H_