npm - @deessejs/type-testing - Versions diffs - 0.1.0 → 0.1.2 - Mend

@deessejs/type-testing 0.1.0 → 0.1.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (64) hide show

package/CHANGELOG.md +12 -0
package/README.md +1 -0
package/dist/api/assert.d.ts.map +1 -1
package/dist/api/assert.js.map +1 -1
package/dist/api/check.d.ts.map +1 -1
package/dist/api/check.js.map +1 -1
package/dist/api/expect.d.ts.map +1 -1
package/dist/api/expect.js.map +1 -1
package/dist/utils.d.ts.map +1 -1
package/package.json +1 -1
package/.eslintrc.json +0 -7
package/.turbo/turbo-lint.log +0 -24
package/.turbo/turbo-test.log +0 -23
package/.turbo/turbo-typecheck.log +0 -4
package/coverage/base.css +0 -224
package/coverage/block-navigation.js +0 -87
package/coverage/coverage-final.json +0 -15
package/coverage/favicon.png +0 -0
package/coverage/index.html +0 -146
package/coverage/prettify.css +0 -1
package/coverage/prettify.js +0 -2
package/coverage/sort-arrow-sprite.png +0 -0
package/coverage/sorter.js +0 -210
package/coverage/src/api/assert.ts.html +0 -229
package/coverage/src/api/check.ts.html +0 -586
package/coverage/src/api/expect.ts.html +0 -220
package/coverage/src/api/index.html +0 -161
package/coverage/src/api/index.ts.html +0 -106
package/coverage/src/index.html +0 -131
package/coverage/src/index.ts.html +0 -127
package/coverage/src/types/equality.ts.html +0 -190
package/coverage/src/types/function.ts.html +0 -139
package/coverage/src/types/index.html +0 -221
package/coverage/src/types/index.ts.html +0 -121
package/coverage/src/types/inhabitation.ts.html +0 -160
package/coverage/src/types/length.ts.html +0 -109
package/coverage/src/types/property.ts.html +0 -124
package/coverage/src/types/special.ts.html +0 -274
package/coverage/src/types/union.ts.html +0 -193
package/coverage/src/utils.ts.html +0 -136
package/src/api/assert.ts +0 -48
package/src/api/check.ts +0 -167
package/src/api/expect.ts +0 -45
package/src/api/index.ts +0 -7
package/src/index.ts +0 -14
package/src/types/equality.ts +0 -35
package/src/types/function.ts +0 -18
package/src/types/index.ts +0 -12
package/src/types/inhabitation.ts +0 -25
package/src/types/length.ts +0 -8
package/src/types/property.ts +0 -13
package/src/types/special.ts +0 -63
package/src/types/union.ts +0 -36
package/src/utils.ts +0 -17
package/tests/api.test.ts +0 -40
package/tests/equality.test.ts +0 -57
package/tests/function.test.ts +0 -32
package/tests/inhabitation.test.ts +0 -40
package/tests/length.test.ts +0 -18
package/tests/property.test.ts +0 -35
package/tests/special.test.ts +0 -132
package/tests/union.test.ts +0 -58
package/tests/utils.test.ts +0 -20
package/tsconfig.tsbuildinfo +0 -1

package/coverage/src/utils.ts.html DELETED Viewed

@@ -1,136 +0,0 @@
-<!doctype html>
-<html lang="en">
-<head>
-    <title>Code coverage report for src/utils.ts</title>
-    <meta charset="utf-8" />
-    <link rel="stylesheet" href="../prettify.css" />
-    <link rel="stylesheet" href="../base.css" />
-    <link rel="shortcut icon" type="image/x-icon" href="../favicon.png" />
-    <meta name="viewport" content="width=device-width, initial-scale=1" />
-    <style type='text/css'>
-        .coverage-summary .sorter {
-            background-image: url(../sort-arrow-sprite.png);
-        }
-    </style>
-</head>
-<body>
-<div class='wrapper'>
-    <div class='pad1'>
-        <h1><a href="../index.html">All files</a> / <a href="index.html">src</a> utils.ts</h1>
-        <div class='clearfix'>
-            <div class='fl pad1y space-right2'>
-                <span class="strong">0% </span>
-                <span class="quiet">Statements</span>
-                <span class='fraction'>0/0</span>
-            </div>
-            <div class='fl pad1y space-right2'>
-                <span class="strong">0% </span>
-                <span class="quiet">Branches</span>
-                <span class='fraction'>0/0</span>
-            </div>
-            <div class='fl pad1y space-right2'>
-                <span class="strong">0% </span>
-                <span class="quiet">Functions</span>
-                <span class='fraction'>0/0</span>
-            </div>
-            <div class='fl pad1y space-right2'>
-                <span class="strong">0% </span>
-                <span class="quiet">Lines</span>
-                <span class='fraction'>0/0</span>
-            </div>
-        </div>
-        <p class="quiet">
-            Press <em>n</em> or <em>j</em> to go to the next uncovered block, <em>b</em>, <em>p</em> or <em>k</em> for the previous block.
-        </p>
-        <template id="filterTemplate">
-            <div class="quiet">
-                Filter:
-                <input type="search" id="fileSearch">
-            </div>
-        </template>
-    </div>
-    <div class='status-line low'></div>
-    <pre><table class="coverage">
-<tr><td class="line-count quiet"><a name='L1'></a><a href='#L1'>1</a>
-<a name='L2'></a><a href='#L2'>2</a>
-<a name='L3'></a><a href='#L3'>3</a>
-<a name='L4'></a><a href='#L4'>4</a>
-<a name='L5'></a><a href='#L5'>5</a>
-<a name='L6'></a><a href='#L6'>6</a>
-<a name='L7'></a><a href='#L7'>7</a>
-<a name='L8'></a><a href='#L8'>8</a>
-<a name='L9'></a><a href='#L9'>9</a>
-<a name='L10'></a><a href='#L10'>10</a>
-<a name='L11'></a><a href='#L11'>11</a>
-<a name='L12'></a><a href='#L12'>12</a>
-<a name='L13'></a><a href='#L13'>13</a>
-<a name='L14'></a><a href='#L14'>14</a>
-<a name='L15'></a><a href='#L15'>15</a>
-<a name='L16'></a><a href='#L16'>16</a>
-<a name='L17'></a><a href='#L17'>17</a>
-<a name='L18'></a><a href='#L18'>18</a></td><td class="line-coverage quiet"><span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span></td><td class="text"><pre class="prettyprint lang-js">/**
- * Additional utilities.
- */
-&nbsp;
-import type { Equal } from './types/equality'
-&nbsp;
-/**
- * Type that always resolves to true.
- * Useful for making compile-time assertions.
- */
-// eslint-disable-next-line @typescript-eslint/no-unused-vars
-export type ExpectTrue&lt;_T extends true&gt; = true
-&nbsp;
-/**
- * Type that validates equality and throws if not equal.
- */
-export type ExpectEqual&lt;T, U&gt; = Equal&lt;T, U&gt; extends true ? T : never
-&nbsp;</pre></td></tr></table></pre>
-                <div class='push'></div><!-- for sticky footer -->
-            </div><!-- /wrapper -->
-            <div class='footer quiet pad2 space-top1 center small'>
-                Code coverage generated by
-                <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2026-02-27T13:37:42.407Z
-            </div>
-        <script src="../prettify.js"></script>
-        <script>
-            window.onload = function () {
-                prettyPrint();
-            };
-        </script>
-        <script src="../sorter.js"></script>
-        <script src="../block-navigation.js"></script>
-    </body>
-</html>

package/src/api/assert.ts DELETED Viewed

@@ -1,48 +0,0 @@
-/**
- * Assert API - Alternative API that throws at compile time on failure.
- */
-import type { Equal, NotEqual } from '../types/equality'
-import type { IsAny, IsNever, IsUnknown, IsVoid, IsUndefined, IsNull, IsNullable, IsOptional } from '../types/special'
-import type { IsUnion, IsTuple, IsArray } from '../types/union'
-import type { IsInhabited, IsUninhabited } from '../types/inhabitation'
-import type { HasProperty } from '../types/property'
-import type { Check } from './check'
-/**
- * Assert type - alternative API that throws at compile time on failure.
- *
- * @example
- * ```typescript
- * assert<string>().equals<string>()
- * ```
- */
-export interface Assert<T> {
-  equals<U>(): Equal<T, U> extends true ? AssertPass : AssertFail<T, U>
-  notEquals<U>(): NotEqual<T, U> extends true ? AssertPass : AssertFail<T, U>
-  extends<U>(): T extends U ? AssertPass : AssertFail<T, U>
-  hasProperty<K extends keyof T>(): HasProperty<T, K> extends true ? AssertPass : AssertFail<T, { missingProperty: K }>
-  property<K extends keyof T>(): Check<T[K]>
-  isAny(): IsAny<T> extends true ? AssertPass : AssertFail<T, 'any'>
-  isNever(): IsNever<T> extends true ? AssertPass : AssertFail<T, 'never'>
-  isUnknown(): IsUnknown<T> extends true ? AssertPass : AssertFail<T, 'unknown'>
-  isVoid(): IsVoid<T> extends true ? AssertPass : AssertFail<T, 'void'>
-  isUndefined(): IsUndefined<T> extends true ? AssertPass : AssertFail<T, 'undefined'>
-  isNull(): IsNull<T> extends true ? AssertPass : AssertFail<T, 'null'>
-  isNullable(): IsNullable<T> extends true ? AssertPass : AssertFail<T, 'not nullable'>
-  isOptional(): IsOptional<T> extends true ? AssertPass : AssertFail<T, 'not optional'>
-  isUnion(): IsUnion<T> extends true ? AssertPass : AssertFail<T, 'not a union'>
-  isTuple(): IsTuple<T> extends true ? AssertPass : AssertFail<T, 'not a tuple'>
-  isArray(): IsArray<T> extends true ? AssertPass : AssertFail<T, 'not an array'>
-  isInhabited(): IsInhabited<T> extends true ? AssertPass : AssertFail<T, 'uninhabited'>
-  isUninhabited(): IsUninhabited<T> extends true ? AssertPass : AssertFail<T, 'inhabited'>
-}
-export type AssertPass = true
-// eslint-disable-next-line @typescript-eslint/no-unused-vars
-export type AssertFail<_T, _Expected> = never
-export function assert<T>(): Assert<T> {
-  return undefined as any
-}

package/src/api/check.ts DELETED Viewed

@@ -1,167 +0,0 @@
-/**
- * Check API - Chainable type checker.
- */
-import type { Equal, NotEqual } from '../types/equality'
-import type { IsAny, IsNever, IsUnknown, IsVoid, IsUndefined, IsNull, IsNullable, IsOptional } from '../types/special'
-import type { IsUnion, IsTuple, IsArray } from '../types/union'
-import type { IsInhabited, IsUninhabited } from '../types/inhabitation'
-import type { HasProperty } from '../types/property'
-import type { Parameters, ReturnType, Parameter } from '../types/function'
-import type { Length } from '../types/length'
-/**
- * Type representing a passing check.
- */
-export type CheckPass = true
-/**
- * Type representing a failing check.
- */
-// eslint-disable-next-line @typescript-eslint/no-unused-vars
-export type CheckFail<_T, _Expected> = never
-/**
- * Helper to create a Check type.
- */
-export type CheckBuilder<T> = Check<T>
-/**
- * Chainable type checker for testing TypeScript types.
- *
- * @example
- * ```typescript
- * check<string>().equals<string>()
- * check<{ a: string }>().hasProperty('a')
- * ```
- */
-export interface Check<T> {
-  /**
-   * Tests if this type equals another type.
-   */
-  equals<U>(): Equal<T, U> extends true ? CheckPass : CheckFail<T, U>
-  /**
-   * Tests if this type does not equal another type.
-   */
-  notEquals<U>(): NotEqual<T, U> extends true ? CheckPass : CheckFail<T, U>
-  /**
-   * Tests if this type extends another type (is assignable to).
-   */
-  extends<U>(): T extends U ? CheckPass : CheckFail<T, U>
-  /**
-   * Tests if this type is assignable from another type.
-   */
-  assignableTo<U>(): U extends T ? CheckPass : CheckFail<T, U>
-  /**
-   * Tests if this type has a specific property.
-   */
-  hasProperty<K extends keyof T>(): HasProperty<T, K> extends true ? CheckPass : CheckFail<T, { missingProperty: K }>
-  /**
-   * Gets the type of a specific property for further testing.
-   */
-  property<K extends keyof T>(): Check<T[K]>
-  /**
-   * Tests if this type is `any`.
-   */
-  isAny(): IsAny<T> extends true ? CheckPass : CheckFail<T, 'any'>
-  /**
-   * Tests if this type is `never`.
-   */
-  isNever(): IsNever<T> extends true ? CheckPass : CheckFail<T, 'never'>
-  /**
-   * Tests if this type is `unknown`.
-   */
-  isUnknown(): IsUnknown<T> extends true ? CheckPass : CheckFail<T, 'unknown'>
-  /**
-   * Tests if this type is `void`.
-   */
-  isVoid(): IsVoid<T> extends true ? CheckPass : CheckFail<T, 'void'>
-  /**
-   * Tests if this type is `undefined`.
-   */
-  isUndefined(): IsUndefined<T> extends true ? CheckPass : CheckFail<T, 'undefined'>
-  /**
-   * Tests if this type is `null`.
-   */
-  isNull(): IsNull<T> extends true ? CheckPass : CheckFail<T, 'null'>
-  /**
-   * Tests if this type is nullable (null or undefined).
-   */
-  isNullable(): IsNullable<T> extends true ? CheckPass : CheckFail<T, 'not nullable'>
-  /**
-   * Tests if this type is optional (may be undefined).
-   */
-  isOptional(): IsOptional<T> extends true ? CheckPass : CheckFail<T, 'not optional'>
-  /**
-   * Tests if this type is a union.
-   */
-  isUnion(): IsUnion<T> extends true ? CheckPass : CheckFail<T, 'not a union'>
-  /**
-   * Tests if this type is a tuple.
-   */
-  isTuple(): IsTuple<T> extends true ? CheckPass : CheckFail<T, 'not a tuple'>
-  /**
-   * Tests if this type is an array.
-   */
-  isArray(): IsArray<T> extends true ? CheckPass : CheckFail<T, 'not an array'>
-  /**
-   * Tests if this type is inhabited (has values).
-   */
-  isInhabited(): IsInhabited<T> extends true ? CheckPass : CheckFail<T, 'uninhabited'>
-  /**
-   * Tests if this type is uninhabited (has no values).
-   */
-  isUninhabited(): IsUninhabited<T> extends true ? CheckPass : CheckFail<T, 'inhabited'>
-  /**
-   * Gets the parameters of this function type.
-   */
-  parameters(): T extends (...args: any[]) => any ? Check<Parameters<T>> : Check<never>
-  /**
-   * Gets the return type of this function type.
-   */
-  returnType(): T extends (...args: any[]) => any ? Check<ReturnType<T>> : Check<never>
-  /**
-   * Gets the length of this array/tuple type.
-   */
-  length(): T extends readonly any[] ? Check<Length<T>> : Check<never>
-  /**
-   * Gets the parameter at a specific index.
-   */
-  parameter<N extends number>(): T extends (...args: any[]) => any ? Check<Parameter<T, N>> : Check<never>
-}
-/**
- * Creates a check for a specific type.
- *
- * @example
- * ```typescript
- * check<string>().equals<string>()
- * check<{ a: string }>().hasProperty('a')
- * ```
- */
-export function check<T>(): CheckBuilder<T> {
-  // This function exists only at runtime - the types are all compile-time
-  return undefined as any
-}

package/src/api/expect.ts DELETED Viewed

@@ -1,45 +0,0 @@
-/**
- * Expect API - Familiar API similar to testing libraries.
- */
-import type { Equal, NotEqual } from '../types/equality'
-/**
- * Expect type - familiar API similar to testing libraries.
- *
- * @example
- * ```typescript
- * expect<string, string>().toBeEqual()
- * expect<string>().toBeAny()
- * ```
- */
-export interface Expect<T, U = unknown> {
-  toBeEqual(): Equal<T, U> extends true ? ExpectPass : ExpectFail<T, U>
-  toBeNotEqual(): NotEqual<T, U> extends true ? ExpectPass : ExpectFail<T, U>
-  toExtend(): T extends U ? ExpectPass : ExpectFail<T, U>
-  toBeAssignableTo(): U extends T ? ExpectPass : ExpectFail<T, U>
-}
-export type ExpectPass = true
-// eslint-disable-next-line @typescript-eslint/no-unused-vars
-export type ExpectFail<_T, _U> = never
-/**
- * Creates an expectation for a type.
- */
-export function expect<T, U = unknown>(): Expect<T, U> {
-  return undefined as any
-}
-/**
- * ExpectFalse - for checking types resolve to false.
- *
- * @example
- * ```typescript
- * expectFalse<IsNever<string>>()
- * ```
- */
-export function expectFalse<_T extends false>(): void {
-  // Compile-time only
-}

package/src/api/index.ts DELETED Viewed

@@ -1,7 +0,0 @@
-/**
- * API exports.
- */
-export * from './check'
-export * from './assert'
-export * from './expect'

package/src/index.ts DELETED Viewed

@@ -1,14 +0,0 @@
-/**
- * Type-testing: A micro library for testing your TypeScript types.
- *
- * @packageDocumentation
- */
-// Re-export all type utilities
-export * from './types'
-// Re-export API
-export * from './api'
-// Re-export utilities
-export * from './utils'

package/src/types/equality.ts DELETED Viewed

@@ -1,35 +0,0 @@
-/**
- * Type equality utilities.
- */
-/**
- * Checks if two types are strictly equal.
- * Uses a technique that compares the structure while handling
- * special types like any, never, and unknown.
- *
- * @example
- * ```typescript
- * check<string>().equals<string>() // passes
- * check<string>().equals<number>() // fails at compile time
- * ```
- */
-export type Equal<T, U> =
-  (<G>() => G extends T ? 1 : 2) extends (<G>() => G extends U ? 1 : 2)
-    ? true
-    : false
-/**
- * Checks if two types are not equal.
- *
- * @example
- * ```typescript
- * check<string>().notEquals<number>() // passes
- * ```
- */
-export type NotEqual<T, U> = Equal<T, U> extends true ? false : true
-/**
- * Simple equality check that works in more contexts.
- * Useful for simple type comparisons.
- */
-export type SimpleEqual<T, U> = [T, U] extends [U, T] ? true : false

package/src/types/function.ts DELETED Viewed

@@ -1,18 +0,0 @@
-/**
- * Function type utilities.
- */
-/**
- * Gets the parameters of a function type as a tuple.
- */
-export type Parameters<T extends (...args: any[]) => any> = T extends (...args: infer P) => any ? P : never
-/**
- * Gets the return type of a function type.
- */
-export type ReturnType<T extends (...args: any[]) => any> = T extends (...args: any[]) => infer R ? R : never
-/**
- * Gets the parameter type at a specific index.
- */
-export type Parameter<T extends (...args: any[]) => any, N extends number> = Parameters<T>[N]

package/src/types/index.ts DELETED Viewed

@@ -1,12 +0,0 @@
-/**
- * Type testing utilities.
- */
-// Re-export all types
-export * from './equality'
-export * from './special'
-export * from './union'
-export * from './inhabitation'
-export * from './property'
-export * from './function'
-export * from './length'

package/src/types/inhabitation.ts DELETED Viewed

@@ -1,25 +0,0 @@
-/**
- * Type inhabitation utilities.
- */
-/**
- * Checks if a type is inhabited (has at least one value).
- *
- * @example
- * ```typescript
- * check<string>().isInhabited() // passes
- * check<never>().isInhabited() // fails
- * ```
- */
-export type IsInhabited<T> = [T] extends [never] ? false : true
-/**
- * Checks if a type is uninhabited (has no values).
- *
- * @example
- * ```typescript
- * check<never>().isUninhabited() // passes
- * check<string>().isUninhabited() // fails
- * ```
- */
-export type IsUninhabited<T> = [T] extends [never] ? true : false

package/src/types/length.ts DELETED Viewed

@@ -1,8 +0,0 @@
-/**
- * Length utility.
- */
-/**
- * Gets the length of an array or tuple type.
- */
-export type Length<T extends readonly any[]> = T['length']

package/src/types/property.ts DELETED Viewed

@@ -1,13 +0,0 @@
-/**
- * Property testing utilities.
- */
-/**
- * Checks if a type has a specific property.
- */
-export type HasProperty<T, K extends PropertyKey> = K extends keyof T ? true : false
-/**
- * Gets the type of a specific property from a type.
- */
-export type PropertyType<T, K extends keyof T> = T[K]

package/src/types/special.ts DELETED Viewed

@@ -1,63 +0,0 @@
-/**
- * Special type detection utilities.
- */
-import type { Equal } from './equality'
-/**
- * Checks if a type is `any`.
- * Uses the technique: 0 extends (1 & T) ? true : false
- *
- * @example
- * ```typescript
- * check<any>().isAny() // passes
- * check<string>().isAny() // fails
- * ```
- */
-export type IsAny<T> = 0 extends (1 & T) ? true : false
-/**
- * Checks if a type is `never`.
- *
- * @example
- * ```typescript
- * check<never>().isNever() // passes
- * check<string>().isNever() // fails
- * ```
- */
-export type IsNever<T> = [T] extends [never] ? true : false
-/**
- * Checks if a type is `unknown`.
- *
- * @example
- * ```typescript
- * check<unknown>().isUnknown() // passes
- * ```
- */
-export type IsUnknown<T> = [unknown] extends [T] ? ([T] extends [unknown] ? true : false) : false
-/**
- * Checks if a type is `void`.
- */
-export type IsVoid<T> = Equal<T, void>
-/**
- * Checks if a type is `undefined`.
- */
-export type IsUndefined<T> = Equal<T, undefined>
-/**
- * Checks if a type is `null`.
- */
-export type IsNull<T> = Equal<T, null>
-/**
- * Checks if a type is `null` or `undefined`.
- */
-export type IsNullable<T> = [null] extends [T] ? true : ([undefined] extends [T] ? true : false)
-/**
- * Checks if a type is optional (may be undefined).
- */
-export type IsOptional<T> = [undefined] extends [T] ? true : false

package/src/types/union.ts DELETED Viewed

@@ -1,36 +0,0 @@
-/**
- * Union and tuple detection utilities.
- */
-/**
- * Checks if a type is a union.
- *
- * @example
- * ```typescript
- * check<'a' | 'b'>().isUnion() // passes
- * check<'a'>().isUnion() // fails
- * ```
- */
-export type IsUnion<T, U = T> = [U] extends [never] ? false : T extends U ? [Exclude<U, never>] extends [T] ? false : true : false
-/**
- * Checks if a type is a tuple.
- *
- * @example
- * ```typescript
- * check<[string, number]>().isTuple() // passes
- * check<string[]>().isTuple() // fails
- * ```
- */
-export type IsTuple<T> = T extends readonly any[] ? (number extends T['length'] ? false : true) : false
-/**
- * Checks if a type is an array.
- *
- * @example
- * ```typescript
- * check<string[]>().isArray() // passes
- * check<[string]>().isArray() // fails
- * ```
- */
-export type IsArray<T> = T extends readonly any[] ? (IsTuple<T> extends true ? false : true) : false

package/src/utils.ts DELETED Viewed

@@ -1,17 +0,0 @@
-/**
- * Additional utilities.
- */
-import type { Equal } from './types/equality'
-/**
- * Type that always resolves to true.
- * Useful for making compile-time assertions.
- */
-// eslint-disable-next-line @typescript-eslint/no-unused-vars
-export type ExpectTrue<_T extends true> = true
-/**
- * Type that validates equality and throws if not equal.
- */
-export type ExpectEqual<T, U> = Equal<T, U> extends true ? T : never