From a9e4793fa30a12df260e59e4faf8c8fa02d4d12d Mon Sep 17 00:00:00 2001
From: Kevin Gibbons <bakkot@gmail.com>
Date: Tue, 17 Sep 2024 19:40:13 -0700
Subject: [PATCH] add a test

---
 test/typecheck.js | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/test/typecheck.js b/test/typecheck.js
index 84cc77dc..f952f5d0 100644
--- 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]);
   });