test(types): stub

endojs · Apr 24, 2024 · c9cdff1 · c9cdff1
1 parent 9f1f7be
commit c9cdff1
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/packages/patterns/test/types.test-d.ts 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);
+  }
+}