add a test

tc39 · Sep 18, 2024 · a9e4793 · a9e4793
1 parent bdacf63
commit a9e4793
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/test/typecheck.js b/test/typecheck.js
@@ -1551,6 +1551,13 @@ describe('type system', () => {
       'NormalCompletion(*false*)',
       [completionBiblio],
     );
+
+    await assertNoTypeError(
+      'either a normal completion containing an ECMAScript language value or an abrupt completion',
+      'NormalCompletion(*false*)',
+      [completionBiblio],
+    );
+
     await assertNoTypeError('a Boolean', '! Throwy()', [completionBiblio]);
   });