Argument of type 'this' is not assignable to parameter of type 'NonNullable'?

TypeScript Version: 4.0.3

Search Terms: 'this' is not assignable to 'NonNullable'

Code

abstract class TreeNode {
  parent: this | null = null; // polymorph this
  left: this | null = null;
  right: this | null = null;

  replaceChild(child: this, replacement: this | null = null) { // this - polymorph type
    this.left = child;
    this.right = replacement;
  }

  removeNode() {
    this.parent?.replaceChild(this, null); // ERROR
  }

  removeNode2Way() {
    if (this.parent) {
      this.parent.replaceChild(this, null); // OK
    }
  }
}

Expected behavior:
Conditional call without errors.

Actual behavior:
Error: Argument of type 'this' is not assignable to parameter of type 'NonNullable'

Playground Link: Playground

Related Issues:

Comienza con la reproducción en el playground de TypeScript 4.0.3 y compara la llamada condicional en removeNode con la llamada protegida en removeNode2Way. Traza el recorrido de comprobación de tipos para polymorphic this y las llamadas opcionales; se considera terminado cuando se acepta la llamada condicional sin introducir regresiones en la forma protegida.