Improve return type of `utils.removeUndefinedProperties` to exclude `never` properties about synectic HOT 4 CLOSED

type NonNullableProperties<T> = { [P in keyof T as T[P] extends undefined | null ? never : P]: T[P] };

type T =  {
  a: number;
  b: string | undefined;
  c: undefined;
  d: boolean | null
};

type NonUndefined = NonUndefinedProperties<T>;
// type NonUndefined = Record<string, never> | {
//   a: number;
//   b: string;
//   c: never;
//   d: boolean;
// }

type NonNullable = NonNullableProperties<T>;
// type NonNullable = {
//   a: number;
//   b: string | undefined;
//   d: boolean | null;
// }

export type NonNullableProperties<T> = { 
   [P in keyof T as T[P] extends undefined | null | void ? never : P]: T[P] 
};

 type NonNullableObject<T> = {
  [P in keyof NonNullableProperties<T>]-?: Exclude<T[P], null | undefined | void>;
} | Record<string, never>;

export const removeNullableProperties = <V, T extends Record<string | number | symbol, V>>(obj: T)
: NonNullableObject<T> => {
  return Object.entries(obj)
    .filter((e): e is [string, NonNullable<V>] => e[1] !== undefined && e[1] !== null)
    .reduce((acc, [k, v]) => ({ ...acc, [k]: v }), {});
};