Type Alias OmitNever<T>

OmitNever: { [K in keyof T as T[K] extends never ? never : K]: T[K] }

Construct a type with the properties of T except for those whose value is never

type A = OmitNever<"a" | never>; // A = "a"
type B = OmitNever<{ a: never; b: 1 }> // B = { b: 1; }