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:

Commencez par la reproduction dans le playground de TypeScript 4.0.3 et comparez l’appel conditionnel dans removeNode avec l’appel protégé dans removeNode2Way. Suivez le chemin de vérification des types pour polymorphic this et les appels optionnels ; le travail est terminé lorsque l’appel conditionnel est accepté sans régression de la forme protégée.