/**
 * type that errors if `T` is not `true`. the return type is irrelevant and should not be used.
 *
 * @remarks
 * used for testing types: use relations like `Equals`, `MutuallyAssignable` with boolean operators like `Not`
 * to assert that some relation holds between a tested type and the expected result.
 *
 * @since 0.0.2
 *
 * @example
 * ```ts
 * // this code passes the type checker!
 * type Tests = [
 *  // should pass on true
 *  Expect<true>,
 *
 *  // should error on false
 *  // @ts-expect-error // vscode intellisense doesn't seem to handle `// @ts-expect-error` in the doc comments very well...
 *  Expect<false>,
 * ]
 * ```
 */
export type Expect<T extends true> = [
    T
] extends [never] ? Expect<T> : unknown extends T ? Expect<T> : never;
//# sourceMappingURL=expect.d.ts.map