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]>

Author: bg-jasonyuan

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> { ... }
 ```

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