Adds widened has support to ReadonlySet

total-typescript · Feb 24, 2023 · 0bccc5a · 0bccc5a
1 parent 33af82c
commit 0bccc5a
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 0 deletions.
diff --git a/src/entrypoints/set-has.d.ts b/src/entrypoints/set-has.d.ts
@@ -3,3 +3,7 @@
 interface Set<T> {
   has(value: T | (TSReset.WidenLiteral<T> & {})): boolean;
 }
+
+interface ReadonlySet<T> {
+  has(value: T | (TSReset.WidenLiteral<T> & {})): boolean;
+}
diff --git a/src/tests/set-has.ts b/src/tests/set-has.ts
@@ -15,3 +15,19 @@ doNotExecute(() => {
     true,
   );
 });
+
+doNotExecute(() => {
+  const set = new Set([1, 2, 3] as const) as ReadonlySet<1 | 2 | 3>;
+
+  set.has(4);
+
+  set.has(
+    // @ts-expect-error
+    "4",
+  );
+
+  set.has(
+    // @ts-expect-error
+    true,
+  );
+});