chore(patterns): define Key using parameterized Passable

endojs · Jan 11, 2024 · 81aced1 · 81aced1
1 parent ae6ad15
commit 81aced1
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/packages/patterns/src/types.js b/packages/patterns/src/types.js
@@ -4,6 +4,7 @@ export {};
 
 /** @typedef {import('@endo/pass-style').Passable} Passable */
 /** @typedef {import('@endo/pass-style').PassStyle} PassStyle */
+/** @typedef {import('@endo/pass-style').RemotableObject} RemotableObject */
 /**
  * @template {string} [Tag=string]
  * @template {Passable} [Payload=Passable]
@@ -22,7 +23,7 @@ export {};
 /** @typedef {import('@endo/marshal').RankCover} RankCover */
 
 /**
- * @typedef {Passable} Key
+ * @typedef {import('@endo/pass-style').Passable<RemotableObject, never>} Key
  *
  * Keys are Passable arbitrarily-nested pass-by-copy containers
  * (CopyArray, CopyRecord, CopySet, CopyBag, CopyMap) in which every

diff --git a/packages/patterns/test/test-patterns.js b/packages/patterns/test/test-patterns.js
@@ -532,6 +532,7 @@ const runTests = (t, successCase, failCase) => {
     t.throws(
       () => {
         copyMapComparison || Fail`No CopyMap comparison support`;
+        // @ts-expect-error FIXME Key types
         successCase(specimen, M.gt(makeCopyMap([])));
       },
       { message: 'No CopyMap comparison support' },