From 84d331725bdf77514d6720dffe91a9316167eea0 Mon Sep 17 00:00:00 2001
From: Giulio Canti <giulio.canti@gmail.com>
Date: Fri, 31 May 2024 08:04:30 +0200
Subject: [PATCH] DeepMutable: remove redundant branch (#2885)

---
 packages/effect/dtslint/Types.ts | 55 ++++++++++++++++++++++++++------
 packages/effect/src/Types.ts     |  1 -
 2 files changed, 46 insertions(+), 10 deletions(-)

diff --git a/packages/effect/dtslint/Types.ts b/packages/effect/dtslint/Types.ts
index 6dc3fdb96a..7f67e26aa6 100644
--- a/packages/effect/dtslint/Types.ts
+++ b/packages/effect/dtslint/Types.ts
@@ -81,23 +81,60 @@ type TaggedValues<A> = {
   readonly value: ReadonlyArray<A>
 }
 
-// $ExpectType [string, number, boolean, bigint]
-hole<[Types.DeepMutable<string>, Types.DeepMutable<number>, Types.DeepMutable<boolean>, Types.DeepMutable<bigint>]>()
-
+// primitive types and literals
+// $ExpectType [string, number, boolean, bigint, symbol, never, null, "a", 1, true]
+hole<
+  [
+    Types.DeepMutable<string>,
+    Types.DeepMutable<number>,
+    Types.DeepMutable<boolean>,
+    Types.DeepMutable<bigint>,
+    Types.DeepMutable<symbol>,
+    Types.DeepMutable<never>,
+    Types.DeepMutable<null>,
+    Types.DeepMutable<"a">,
+    Types.DeepMutable<1>,
+    Types.DeepMutable<true>
+  ]
+>()
+
+// record
 // $ExpectType { [x: string]: number; }
 hole<Types.DeepMutable<{ readonly [_: string]: number }>>()
+// $ExpectType { [x: string]: number; }
+hole<Types.DeepMutable<{ [_: string]: number }>>()
 
-// $ExpectType Set<{ value: { _tag: string; value: number[]; }; }>
-hole<Types.DeepMutable<ReadonlySet<{ readonly value: TaggedValues<number> }>>>()
-
-// $ExpectType Map<{ _tag: string; value: string[]; }, Set<{ _tag: string; value: number[]; }>>
-hole<Types.DeepMutable<ReadonlyMap<TaggedValues<string>, ReadonlySet<TaggedValues<number>>>>>()
-
+// structs
+// $ExpectType {}
+hole<Types.DeepMutable<{}>>()
 // $ExpectType { _tag: string; value: { _tag: string; value: { _tag: string; value: boolean[]; }[]; }[]; }[]
 hole<Types.DeepMutable<ReadonlyArray<TaggedValues<TaggedValues<TaggedValues<boolean>>>>>>()
 
+// array
+// $ExpectType []
+hole<Types.DeepMutable<readonly []>>()
+// $ExpectType string[]
+hole<Types.DeepMutable<ReadonlyArray<string>>>()
+// $ExpectType string[]
+hole<Types.DeepMutable<Array<string>>>()
+
+// tuples
 // $ExpectType [string, number, boolean]
 hole<Types.DeepMutable<readonly [string, number, boolean]>>()
+// $ExpectType [string, number, boolean]
+hole<Types.DeepMutable<[string, number, boolean]>>()
+
+// ReadonlySet
+// $ExpectType Set<{ value: { _tag: string; value: number[]; }; }>
+hole<Types.DeepMutable<ReadonlySet<{ readonly value: TaggedValues<number> }>>>()
+// $ExpectType Set<{ value: { _tag: string; value: number[]; }; }>
+hole<Types.DeepMutable<Set<{ readonly value: TaggedValues<number> }>>>()
+
+// ReadonlyMap
+// $ExpectType Map<{ _tag: string; value: string[]; }, Set<{ _tag: string; value: number[]; }>>
+hole<Types.DeepMutable<ReadonlyMap<TaggedValues<string>, ReadonlySet<TaggedValues<number>>>>>()
+// $ExpectType Map<{ _tag: string; value: string[]; }, Set<{ _tag: string; value: number[]; }>>
+hole<Types.DeepMutable<Map<TaggedValues<string>, ReadonlySet<TaggedValues<number>>>>>()
 
 // -------------------------------------------------------------------------------------
 // MatchRecord
diff --git a/packages/effect/src/Types.ts b/packages/effect/src/Types.ts
index 47dd8ae7b4..592c9f93d6 100644
--- a/packages/effect/src/Types.ts
+++ b/packages/effect/src/Types.ts
@@ -187,7 +187,6 @@ export type Mutable<T> = {
  */
 export type DeepMutable<T> = T extends ReadonlyMap<infer K, infer V> ? Map<DeepMutable<K>, DeepMutable<V>>
   : T extends ReadonlySet<infer V> ? Set<DeepMutable<V>>
-  : T extends ReadonlyArray<any> ? { -readonly [K in keyof T]: DeepMutable<T[K]> }
   : [keyof T] extends [never] ? T
   : { -readonly [K in keyof T]: DeepMutable<T[K]> }