From f6cbd5fbe7a7d53f04cfe270070388672de7a0c8 Mon Sep 17 00:00:00 2001
From: Turadg Aleahmad <turadg@agoric.com>
Date: Thu, 18 Jan 2024 12:48:02 -0800
Subject: [PATCH] chore(types): constrain parameter

---
 packages/base-zone/src/types.js             | 8 ++++----
 packages/store/src/stores/scalarSetStore.js | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/packages/base-zone/src/types.js b/packages/base-zone/src/types.js
index d381432cfc9..716a2546567 100644
--- a/packages/base-zone/src/types.js
+++ b/packages/base-zone/src/types.js
@@ -22,12 +22,12 @@ import { makeExo, defineExoClass, defineExoClassKit } from '@endo/exo';
  * @typedef {object} Stores
  * @property {() => Stores} detached obtain store providers which are detached (the stores are anonymous rather than bound to `label` in the zone)
  * @property {(specimen: unknown) => boolean} isStorable return true if the specimen can be stored in the zone, whether as exo-object state or in a store
- * @property {<K,V>(label: string, options?: StoreOptions) => MapStore<K, V>} mapStore provide a Map-like store named `label` in the zone
- * @property {<K>(label: string, options?: StoreOptions) => SetStore<K>} setStore provide a Set-like store named `label` in the zone
- * @property {<K,V>(
+ * @property {<K extends Key, V extends Passable>(label: string, options?: StoreOptions) => MapStore<K, V>} mapStore provide a Map-like store named `label` in the zone
+ * @property {<K extends Key>(label: string, options?: StoreOptions) => SetStore<K>} setStore provide a Set-like store named `label` in the zone
+ * @property {<K extends Key, V extends Passable>(
  *   label: string, options?: StoreOptions) => WeakMapStore<K, V>
  * } weakMapStore provide a WeakMap-like store named `label` in the zone
- * @property {<K>(
+ * @property {<K extends Key>(
  *   label: string, options?: StoreOptions) => WeakSetStore<K>
  * } weakSetStore provide a WeakSet-like store named `label` in the zone
  */
diff --git a/packages/store/src/stores/scalarSetStore.js b/packages/store/src/stores/scalarSetStore.js
index 11146e5f28c..04df0d16215 100644
--- a/packages/store/src/stores/scalarSetStore.js
+++ b/packages/store/src/stores/scalarSetStore.js
@@ -13,7 +13,7 @@ import { makeCurrentKeysKit } from './store-utils.js';
 const { quote: q } = assert;
 
 /**
- * @template K
+ * @template {Key} K
  * @param {Set<K>} jsset
  * @param {(k: K) => void} assertKeyOkToAdd
  * @param {(k: K) => void} [assertKeyOkToDelete]