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:

Bắt đầu với bản tái hiện trên playground của TypeScript 4.0.3 và so sánh lời gọi có điều kiện trong removeNode với lời gọi được bảo vệ trong removeNode2Way. Theo dõi đường đi kiểm tra kiểu cho polymorphic this và các lời gọi tùy chọn; được xem là hoàn tất khi lời gọi có điều kiện được chấp nhận mà không gây hồi quy cho dạng được bảo vệ.