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:

Beginne mit der TypeScript 4.0.3-Playground-Reproduktion und vergleiche den bedingten Aufruf in removeNode mit dem abgesicherten Aufruf in removeNode2Way. Verfolge den Type-Checking-Pfad für polymorphic this und optionale Aufrufe; die Aufgabe ist abgeschlossen, wenn der bedingte Aufruf akzeptiert wird, ohne die abgesicherte Form zu beeinträchtigen.