From c9cdff129a5f737a8f0e5a7aa8759841c828b9e0 Mon Sep 17 00:00:00 2001
From: Turadg Aleahmad <turadg@agoric.com>
Date: Tue, 23 Apr 2024 15:25:34 -0700
Subject: [PATCH] test(types): stub

---
 packages/patterns/test/types.test-d.ts | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 packages/patterns/test/types.test-d.ts

diff --git a/packages/patterns/test/types.test-d.ts b/packages/patterns/test/types.test-d.ts
new file mode 100644
index 0000000000..f26b441ac4
--- /dev/null
+++ b/packages/patterns/test/types.test-d.ts
@@ -0,0 +1,20 @@
+import type { Passable } from '@endo/pass-style';
+import { expectNotType, expectType } from 'tsd';
+import { isKey } from '../src/keys/checkKey.js';
+import { M } from '../src/patterns/patternMatchers.js';
+import type { Key } from '../src/types.js';
+
+// @ts-expect-error M.any missing parens
+M.arrayOf(M.any);
+M.arrayOf(M.any());
+
+{
+  const maybeKey: Passable = 'key';
+  const result = isKey(maybeKey);
+  expectType<boolean>(result);
+  if (result) {
+    expectType<Key>(maybeKey);
+  } else {
+    expectNotType<Key>(maybeKey);
+  }
+}