Type Alias IsNever<T>

IsNever: [T] extends [never] ? true : false

Type guard: detect never.

Type Parameters

T
Type to test

Remarks

Identifies the bottom type never using tuple-based detection to avoid distributive conditional behavior.

Example

type A = IsNever< never >;   // true
type B = IsNever< string >;  // false