IsNarrowable: IsNever<
    (T extends U ? true : false) & (U extends T ? false : true),
> extends true
    ? false
    : true

Type Parameters

  • T
  • U