Bump TypeScript min requirement to version 5.4

.changeset/cyan-pianos-sin.md

@@ -0,0 +1,5 @@
+---
+"effect": minor
+---
+
+Bump TypeScript min requirement to version 5.4

README.md

@@ -4,7 +4,7 @@ Welcome to Effect, a powerful TypeScript framework that provides a fully-fledged
 
 # Requirements
 
-- TypeScript 5.0 or newer
+- TypeScript 5.4 or newer
 - The `strict` flag enabled in your `tsconfig.json` file
 
 ```

package.json

@@ -44,7 +44,7 @@
     "@edge-runtime/vm": "^3.2.0",
     "@effect/build-utils": "^0.7.6",
     "@effect/docgen": "^0.3.8",
-    "@effect/dtslint": "^0.0.5",
+    "@effect/dtslint": "^0.1.0",
     "@effect/eslint-plugin": "^0.1.2",
     "@effect/language-service": "^0.1.0",
     "@types/node": "^20.11.30",

packages/schema/dtslint/Schema.ts

@@ -1059,13 +1059,19 @@ S.asSchema(S.extend(S.struct({ a: S.string }), S.union(S.struct({ b: S.number })
 // $ExpectType extend<struct<{ a: $string; }>, union<[struct<{ b: $number; }>, struct<{ c: $boolean; }>]>>
 S.extend(S.struct({ a: S.string }), S.union(S.struct({ b: S.number }), S.struct({ c: S.boolean })))
 
-// TODO: rises an error in TypeScript@5.0
-// // $ExpectType Schema<{ readonly [x: string]: string; readonly a: string; readonly b: string; readonly c: string; }, { readonly [x: string]: string; readonly a: string; readonly b: string; readonly c: string; }, never>
-// pipe(
-//   S.struct({ a: S.string, b: S.string }),
-//   S.extend(S.struct({ c: S.string })),
-//   S.extend(S.record(S.string, S.string))
-// )
+// $ExpectType Schema<{ readonly [x: string]: string; readonly a: string; readonly b: string; readonly c: string; }, { readonly [x: string]: string; readonly a: string; readonly b: string; readonly c: string; }, never>
+S.asSchema(pipe(
+  S.struct({ a: S.string, b: S.string }),
+  S.extend(S.struct({ c: S.string })),
+  S.extend(S.record(S.string, S.string))
+))
+
+// $ExpectType extend<extend<struct<{ a: $string; b: $string; }>, struct<{ c: $string; }>>, record<$string, $string>>
+pipe(
+  S.struct({ a: S.string, b: S.string }),
+  S.extend(S.struct({ c: S.string })),
+  S.extend(S.record(S.string, S.string))
+)
 
 // ---------------------------------------------
 // suspend
@@ -1346,9 +1352,8 @@ S.asSchema(S.extend(S.mutable(S.struct({ a: S.string })), S.struct({ b: S.number
 // $ExpectType Schema<{ [x: string]: string; a: string; }, { [x: string]: string; a: string; }, never>
 S.asSchema(S.extend(S.mutable(S.struct({ a: S.string })), S.mutable(S.record(S.string, S.string))))
 
-// TODO: rises an error in TypeScript@5.0
-// // $ExpectType Schema<{ readonly [x: string]: string; a: string; }, { readonly [x: string]: string; a: string; }, never>
-// S.asSchema(S.extend(S.mutable(S.struct({ a: S.string })), S.record(S.string, S.string)))
+// $ExpectType Schema<{ readonly [x: string]: string; a: string; }, { readonly [x: string]: string; a: string; }, never>
+S.asSchema(S.extend(S.mutable(S.struct({ a: S.string })), S.record(S.string, S.string)))
 
 // ---------------------------------------------
 // transform