Removing optional modifier also removes `undefined` from value type

TypeScript Version: 3.3.3333

Search Terms: NonPartial, remove optional modifier

Code

// A *self-contained* demonstration of the problem follows...
// Test this by running `tsc` on the command-line, rather than through another build tool such as Gulp, Webpack, etc.

interface OptClass {
  opt?: number;
}

type NonPartialIsh = {[K in keyof OptClass]-?: OptClass[K] | undefined};

const test = {opt: undefined};

verify<NonPartialIsh>(test);  // should NOT be error, but shows error

function verify<T>(a: T) {}

Expected behavior:

• Should not have any error.
• NonPartialish.opt type should support undefined.

Actual behavior:

• Throws the following error:

ERROR(12,23): : Argument of type '{ opt: undefined; }' is not assignable to parameter of type 'NonPartialIsh'.
  Types of property 'opt' are incompatible.
    Type 'undefined' is not assignable to type 'number'.
Transpiled code follows despite errors.

• NonPartialish.opt type does not support undefined.

Playground Link: https://www.typescriptlang.org/play/#src=%2F%2F A *self-contained* demonstration of the problem follows... %2F%2F Test this by running `tsc` on the command-line%2C rather than through another build tool such as Gulp%2C Webpack%2C etc. interface OptClass { opt%3F%3A number%3B } type NonPartialIsh %3D {[K in keyof OptClass]-%3F%3A OptClass[K] | undefined}%3B const test %3D {opt%3A undefined}%3B verify<NonPartialIsh>(test)%3B %2F%2F should NOT be error%2C but shows error function verify<T>(a%3A T) { }

Related Issues:

[jcalz]

Unfortunately missing and undefined aren’t consistently two different things in TypeScript; see #13195.

Relevant documentation on the behavior of -?:

Note that in --strictNullChecks mode, when a homomorphic mapped type removes a ? modifier from a property in the underlying type it also removes undefined from the type of that property

But in

{[K in keyof T]-?: Foo<T[K]>}

should undefined be excluded from the original type of the property (T[K]) or the mapped type of the property (Foo<T[K]>)? I’d kind of expect it to be the former but it looks like it’s actually the latter.

Assuming we can’t destabilize the current behavior, someone who wants to strip the optional modifier off property keys but hold on to undefined in their values could do so by preventing the compiler from recognizing the mapped type as homomorphic:

type NullablyRequired<T> = { [P in (keyof T & keyof any)]: T[P] }

type Test = NullablyRequired<{a?: string, b: number}>
// type Test = {a: string | undefined, b: number}

[gordonmleigh]

The following works and is the most obvious:

export type NonPartial<T> = { [K in keyof Required<T>]: T[K] };