IsAny TS helper

is-any.ts

/**
 * Checks if type `T` is the `any` type.
 * @see https://stackoverflow.com/a/49928360/3406963
 * @see https://github.com/dsherret/conditional-type-checks/blob/main/mod.ts
 */
type IsAny<T> = 0 extends 1 & T ? true : false

type Example<S> = IsAny<S> extends false ? 'ok' : never

/**
 * Return True if `T` is `any`, otherwise return `False`.
 * @see https://github.com/joonhocho/tsdef
 */
type IsAny<T, True, False = never> =
  // test if we are going the left AND right path in the condition
  true | false extends (T extends never ? true : false) ? True : False
  
type Example<S> = IsAny<S, 'ok', never>