fix: add compatibility with TypeScript 4.8+

Using a `fix` commit type so that this will trigger release 2.1.4. Ticket: VL-2050 Co-authored-by: Patrick McLaughlin <[email protected]>
BitGo · Jul 11, 2024 · 2e20c67 · 2e20c67
1 parent 2813cc5
commit 2e20c67
Show file tree

Hide file tree

Showing 5 changed files with 4,346 additions and 2,850 deletions.
diff --git a/docs/modules/index.ts.md b/docs/modules/index.ts.md
@@ -2075,35 +2075,35 @@ export function alias<A, O, P, I>(
   codec: PartialType<P, A, O, I>
 ): <
   // tslint:disable-next-line: deprecation
-  AA extends Exact<A, AA>,
+  AA extends A,
   // tslint:disable-next-line: deprecation
-  OO extends Exact<O, OO> = O,
+  OO extends O = O,
   // tslint:disable-next-line: deprecation
-  PP extends Exact<P, PP> = P,
+  PP extends P = P,
   II extends I = I
 >() => PartialType<PP, AA, OO, II>
 export function alias<A, O, P, I>(
   // tslint:disable-next-line: deprecation
   codec: StrictType<P, A, O, I>
 ): <
   // tslint:disable-next-line: deprecation
-  AA extends Exact<A, AA>,
+  AA extends A,
   // tslint:disable-next-line: deprecation
-  OO extends Exact<O, OO> = O,
+  OO extends O = O,
   // tslint:disable-next-line: deprecation
-  PP extends Exact<P, PP> = P,
+  PP extends P = P,
   II extends I = I
 >() => // tslint:disable-next-line: deprecation
 StrictType<PP, AA, OO, II>
 export function alias<A, O, P, I>(
   codec: InterfaceType<P, A, O, I>
 ): <
   // tslint:disable-next-line: deprecation
-  AA extends Exact<A, AA>,
+  AA extends A,
   // tslint:disable-next-line: deprecation
-  OO extends Exact<O, OO> = O,
+  OO extends O = O,
   // tslint:disable-next-line: deprecation
-  PP extends Exact<P, PP> = P,
+  PP extends P = P,
   II extends I = I
 >() => InterfaceType<PP, AA, OO, II> { ... }
 ```

diff --git a/dtslint/ts3.5/index.ts b/dtslint/ts3.5/index.ts
@@ -383,8 +383,6 @@ type AliasTest2 = t.OutputOf<typeof C5>['a'] // $ExpectType string
 type AliasTest3 = t.OutputOf<typeof C5>['b'] // $ExpectType string
 // $ExpectError
 const C6 = t.alias(C1)<C1, C1>()
-// $ExpectError
-const C7 = t.alias(C1)<C1WithAdditionalProp, C1O>()
 const C8 = t.alias(C1)<C1, C1O>()
 type AliasTest4 = t.TypeOf<typeof C8> // $ExpectType C1
 type AliasTest5 = t.OutputOf<typeof C8> // $ExpectType C1O