Has

import { Has } from "jsr:@ende/testing/types";

type alias

type Has<T, U> = IsAny<T> extends true ? true : IsAny<U> extends true ? false : Extract<T, U> extends never ? false : true

Checks if type T has the specified type U.

Example: Usage

import { assertType, Has } from "@ende/testing/types";

assertType<Has<string | number, string>>(true);
assertType<Has<any, number>>(true);

assertType<Has<string | number, Date>>(false);
assertType<Has<string, number>>(false);
assertType<Has<number, any>>(false);

Source