Как убрать null так, чтобы получить в initial type исходное поле с удалённым null?

Question

[historydev]

type NonNull<T> = T extends infer O ? {[k in keyof O]: O[k] extends null ? never : O[k]} : never;

type X = NonNull<{email: string | null}>; // Initial type: {email: string | null extends null ? never : (string | null)}

// Ожидаю {email: string}

Answer 1

[Alexandroppolus]

type NonNull<T> = {[K in keyof T]: Exclude<T[K], null>};


type X = NonNull<{email: string | null}>;