Function assertEqualType

assertEqualType<T, U>(..._: [T] extends [U] ? [] : [never]): void
Compile-time assertion that two types are exactly equal.

This function performs a bidirectional type check to ensure T and U are the same type. It causes a TypeScript compilation error if the types differ. The function body is empty as verification happens entirely at the type level.
Type Parameters
- T
  The first type to compare
- U
  The second type to compare
Parameters
- ..._: [T] extends [U] ? [] : [never]
Returns void
Example
```
type A = { name: string };
type B = { name: string };
type C = { name: string; age: number };

assertEqualType<A, B>(); // ✓ OK - types are equal
assertEqualType<A, C>(); // ✗ Error - types differ
```
- Defined in type/index.ts:26