[ignition] Eliminate hole checks where statically possible for loads and stores

src/parsing/parser.cc

Index: src/parsing/parser.cc
diff --git a/src/parsing/parser.cc b/src/parsing/parser.cc
index 18da7615f4557f94c76f35bd43f7e05c684a0985..addad2a32771f45471063fd8135093cc87818e0c 100644
--- a/src/parsing/parser.cc
+++ b/src/parsing/parser.cc
@@ -1154,8 +1154,7 @@ ZoneList<const Parser::NamedImport*>* Parser::ParseNamedImports(
       return nullptr;
     }
 
-    DeclareVariable(local_name, CONST, kNeedsInitialization, position(),
-                    CHECK_OK);
+    DeclareModuleImport(local_name, position(), CHECK_OK);
 
     NamedImport* import = new (zone()) NamedImport(
         import_name, local_name, scanner()->location());
@@ -1205,8 +1204,7 @@ void Parser::ParseImportDeclaration(bool* ok) {
     import_default_binding =
         ParseIdentifier(kDontAllowRestrictedIdentifiers, CHECK_OK_VOID);
     import_default_binding_loc = scanner()->location();
-    DeclareVariable(import_default_binding, CONST, kNeedsInitialization, pos,
-                    CHECK_OK_VOID);
+    DeclareModuleImport(import_default_binding, pos, CHECK_OK_VOID);
   }
 
   // Parse NameSpaceImport or NamedImports if present.
@@ -1481,6 +1479,16 @@ Declaration* Parser::DeclareVariable(const AstRawString* name,
   return declaration;
 }
 
+Declaration* Parser::DeclareModuleImport(const AstRawString* name, int pos,
+                                         bool* ok) {
+  DCHECK_EQ(MODULE_SCOPE, scope()->scope_type());
+  Declaration* decl =
+      DeclareVariable(name, CONST, kNeedsInitialization, pos, CHECK_OK);
+  decl->proxy()->var()->AllocateTo(VariableLocation::MODULE,
+                                   Variable::kModuleImportIndex);
+  return decl;
+}
+
 Variable* Parser::Declare(Declaration* declaration,
                           DeclarationDescriptor::Kind declaration_kind,
                           VariableMode mode, InitializationFlag init, bool* ok,