From 57f427b18bf7e629565ac2fcf2392ba7b7d0d8fb Mon Sep 17 00:00:00 2001
From: bojavou <134245276+bojavou@users.noreply.github.com>
Date: Mon, 24 Jul 2023 13:35:00 -0700
Subject: [PATCH] Editorial: Correct GetExportedNames return type (#3127)

---
 spec.html | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/spec.html b/spec.html
index 7259e380d2..8f6f921813 100644
--- a/spec.html
+++ b/spec.html
@@ -27706,7 +27706,7 @@ <h1>
           <h1>
             GetExportedNames (
               optional _exportStarSet_: a List of Source Text Module Records,
-            ): a List of either Strings or *null*
+            ): a List of Strings
           </h1>
           <dl class="header">
             <dt>for</dt>
@@ -27722,9 +27722,11 @@ <h1>
             1. Let _exportedNames_ be a new empty List.
             1. For each ExportEntry Record _e_ of _module_.[[LocalExportEntries]], do
               1. Assert: _module_ provides the direct binding for this export.
+              1. Assert: _e_.[[ExportName]] is not *null*.
               1. Append _e_.[[ExportName]] to _exportedNames_.
             1. For each ExportEntry Record _e_ of _module_.[[IndirectExportEntries]], do
               1. Assert: _module_ imports a specific binding for this export.
+              1. Assert: _e_.[[ExportName]] is not *null*.
               1. Append _e_.[[ExportName]] to _exportedNames_.
             1. For each ExportEntry Record _e_ of _module_.[[StarExportEntries]], do
               1. Let _requestedModule_ be GetImportedModule(_module_, _e_.[[ModuleRequest]]).