Создайте тип, где каждое обнуляемое значение становится необязательным

Question

У меня есть такой тип:

interface A {
  a: string
  b: string | null
}

Я хотел бы сгенерировать тот же тип, но каждое обнуляемое значение становится необязательным:

interface A {
  a: string
  b?: string | null
}

Что-то подобное, но только дляОбнуляемые значения (это делает все значения необязательными):

export type NullValuesToOptional<T> = {
  [P in keyof T]?: T[P]
}

Answer 1

Извлечение ключей поля Nullable и последующее создание нового типа на основе этой информации будет работать.
Этот ответ при удалении never типов содержит ключ к головоломке.

interface A {
  a: string
  b: string | null
  c?: string | null;
  d?: string;
}

// Built-in NonNullable also catches undefined
type NonNull<T> = T extends null ? never : T;
type NullableKeys<T> = NonNullable<({
  [K in keyof T]: T[K] extends NonNull<T[K]> ? never : K
})[keyof T]>;

type NullValuesToOptional<T> = Omit<T, NullableKeys<T>> & Partial<Pick<T, NullableKeys<T>>>;

type B = NullValuesToOptional<A>;

Не все так просто, как я бы надеялся.