/** Expects `T` to be `true` */
export type Expect<T extends true> = T;
/** Returns true if types `A` and `B` are equal (and neither is `any`) */
export type Equals<A, B> = UnlessAny<A, B, [
    A
] extends [B] ? [B] extends [A] ? Any extends ExactEqual<A, B> ? true : "❌ Unexpected or missing 'readonly' property" : '❌ Type B is not assignable to type A' : '❌ Type A is not assignable to type B'>;
/** Returns true if type `A` extends type `B` (and neither is `any`) */
export type Extends<A, B> = UnlessAny<A, B, [
    A
] extends [B] ? true : '❌ Type A is not assignable to B'>;
/** Returns true if type `A` does **NOT** extend type `B` (and neither is `any`) */
export type NotExtends<A, B> = UnlessAny<A, B, [
    A
] extends [B] ? [B] extends [A] ? '❌ Type A is equal to B' : '❌ Type A is assignable to B' : true>;
type ExactEqual<A, B> = (<U>() => U extends A ? 1 : 0) extends (<U>() => U extends B ? 1 : 0) ? Any : never;
declare const _Any__Brand: unique symbol;
type Any = {
    [_Any__Brand]: true;
};
type IsAny<T> = Any extends T ? ([T] extends [Any] ? true : false) : false;
type UnlessAny<A, B, C> = IsAny<A> extends true ? IsAny<B> extends true ? "❌ Types A and B are both 'any'" : "❌ Type A is 'any' but type B is not" : IsAny<B> extends true ? "❌ Type B is 'any' but type A is not" : C;
export {};