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:

从 TypeScript 4.0.3 playground 复现开始，并比较 removeNode 中的条件调用与 removeNode2Way 中的受保护调用。跟踪 polymorphic this 和可选调用的类型检查路径；当条件调用在不使受保护形式出现回归的情况下被接受时，即表示完成。