Skip to main content
Deno 2 is finally here 🎉️
Learn more
Module

x/tsafe/Extends.ts

🔩 The missing TypeScript utils
Go to Latest
File
/* eslint-disable @typescript-eslint/no-explicit-any */import { StrictEquals } from "./tools/StrictEquals.ts";
/** * @see <https://docs.tsafe.dev/main/extends> * * Usage example: assert<Extends<A, B>>(); **/export type Extends<A1, A2> = StrictEquals<A1, never> extends true ? true : StrictEquals<A2, never> extends true ? false : StrictEquals<A2, any> extends true ? true : StrictEquals<A2, unknown> extends true ? true : StrictEquals<A1, any> extends true ? false : StrictEquals<A1, unknown> extends true ? false : A1 extends A2 ? true : false;