Editorial: Add [[ImportName]] assertion for non-direct binding cases …

…in ResolveExports (#3488)
tc39 · Jan 16, 2025 · e645d2c · e645d2c
1 parent 519149d
commit e645d2c
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/esmeta-ignore.json b/esmeta-ignore.json
@@ -9,7 +9,6 @@
   "INTRINSICS.Atomics.notify",
   "MakeMatchIndicesIndexPairArray",
   "Record[SourceTextModuleRecord].ExecuteModule",
-  "Record[SourceTextModuleRecord].ResolveExport",
   "TypedArrayGetElement",
   "TypedArrayLength",
   "TypedArraySetElement",

diff --git a/spec.html b/spec.html
@@ -28251,6 +28251,7 @@ <h1>
                   1. Return ResolvedBinding Record { [[Module]]: _importedModule_, [[BindingName]]: ~namespace~ }.
                 1. Else,
                   1. Assert: _module_ imports a specific binding for this export.
+                  1. Assert: _e_.[[ImportName]] is a String.
                   1. Return _importedModule_.ResolveExport(_e_.[[ImportName]], _resolveSet_).
             1. If _exportName_ is *"default"*, then
               1. Assert: A `default` export was not explicitly defined by this module.