fixup! use assertChecker

Author: erights

packages/ERTP/src/mathHelpers/setMathHelpers.js

@@ -1,7 +1,7 @@
 // @jessie-check
 
 import { Fail } from '@endo/errors';
-import { passStyleOf } from '@endo/pass-style';
+import { passStyleOf, assertChecker } from '@endo/pass-style';
 import { isKey, assertKey, elementsHasSplit, kindOf } from '@endo/patterns';
 import {
   elementsIsSuperset,
@@ -60,8 +60,14 @@ export const setMathHelpers = harden({
       payload: [elementPatt, bound],
     } = rightBound;
     const result = [];
-    elementsHasSplit(left, elementPatt, bound, undefined, undefined, result) ||
-      Fail`specimen did not match has bound`;
+    elementsHasSplit(
+      left,
+      elementPatt,
+      bound,
+      undefined,
+      result,
+      assertChecker,
+    );
     return harden(result);
   },
 });

packages/ERTP/test/unitTests/mathHelpers/setBoundMathHelpers.test.js

@@ -24,11 +24,15 @@ test('set minus setBound', t => {
   t.deepEqual(m.subtract(mock(['a', 'b']), mock(M.has(M.any()))), mock(['a']));
 
   t.throws(() => m.subtract(mock(['a', 'b']), mock(M.has(M.any(), 3n))), {
-    message: 'specimen did not match has bound',
+    message: 'Has only "[2n]" matches, but needs "[3n]"',
   });
 
   t.throws(() => m.subtract(mock(['a', 'b']), mock(M.has('c', 1n))), {
-    message: 'specimen did not match has bound',
+    message: 'Has only "[0n]" matches, but needs "[1n]"',
+  });
+
+  t.throws(() => m.subtract(mock(['a', 'b']), mock(M.has('c'))), {
+    message: 'Has only "[0n]" matches, but needs "[1n]"',
   });
 });