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]);
   });