From ff2d753f1428ce3f689abccf8124beac88fdbaa8 Mon Sep 17 00:00:00 2001
From: Turadg Aleahmad <turadg@agoric.com>
Date: Thu, 14 Sep 2023 11:41:45 -0700
Subject: [PATCH] test: additional tests of splitRecord

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

diff --git a/packages/patterns/test/test-patterns.js b/packages/patterns/test/test-patterns.js
index d91196d1a7..60a9891da1 100644
--- a/packages/patterns/test/test-patterns.js
+++ b/packages/patterns/test/test-patterns.js
@@ -330,11 +330,18 @@ const runTests = (t, successCase, failCase) => {
       '{"bar":4,"foo":3} - Must be >= {"baz":3}',
     );
 
+    successCase(specimen, M.splitRecord({}, undefined, undefined));
+    successCase(specimen, M.splitRecord({}, { unused: M.string() }));
     failCase(
       specimen,
       M.splitRecord({ foo: M.number() }, { bar: M.string(), baz: M.number() }),
       'bar?: number 4 - Must be a string',
     );
+    failCase(
+      specimen,
+      M.splitRecord({}, { unused: M.string() }, M.string()),
+      '...rest: copyRecord {"bar":4,"foo":3} - Must be a string',
+    );
 
     failCase(
       specimen,