Type parameter gets optionalized during call signature comparison

Bug Report

🔎 Search Terms

type parameter union undefined optional

🕗 Version & Regression Information

3.3.3333, 4.1.3, master (303ed3a357)

⏯ Playground Link

Playground link with relevant code

💻 Code

interface A {
  <T>(
    executor: (
      resolve: {
        (value: T): void;
      } & {
        (value?: T): void;
      }
    ) => void
  ): T;
}

interface B {
  <T>(
    executor: (
      resolve: {
        (value: T): void;
      } & {
        (value?: T): void;
      }
    ) => void
  ): T;
}

const a: B = {} as A;

🙁 Actual behavior

Compile error at the last line:

Type 'A' is not assignable to type 'B'.
  Type 'T | undefined' is not assignable to type 'T'.
    'T' could be instantiated with an arbitrary type which could be unrelated to 'T | undefined'.
      Type 'undefined' is not assignable to type 'T'.
        'T' could be instantiated with an arbitrary type which could be unrelated to 'undefined'.

🙂 Expected behavior

There should be no compile error, as A and B have exactly the same definition.

Comienza reproduciendo el error de asignación del ejemplo de Playground enlazado e inspecciona la comparación de firmas de llamada y el manejo de parámetros de tipo del compilador. Sigue el motivo por el que las definiciones idénticas producen T | undefined frente a T y, después, verifica que el ejemplo compile sin errores mientras conserva el comportamiento reportado.