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

<!-- 🚨 STOP 🚨 STOP 🚨 STOP 🚨 Half of all issues filed here are duplicates, answered in the FAQ, or not appropriate for the bug tracker. Even if you think you've found a *bug*, please read the FAQ first, especially the Common "Bugs" That Aren't Bugs section! Please help us by doing the following steps before logging an issue: * Search: https://github.com/Microsoft/TypeScript/search?type=Issues * Read the FAQ: https://github.com/Microsoft/TypeScript/wiki/FAQ Please fill in the *entire* template below. --> <!-- Please try to reproduce the issue with the latest published version. It may have already been fixed. For npm: `typescript@next` This is also the 'Nightly' version in the playground: http://www.typescriptlang.org/play/?ts=Nightly --> **TypeScript Version:** 4.0.3 <!-- Search terms you tried before logging this (so others can find this issue more easily) --> **Search Terms:** 'this' is not assignable to 'NonNullable' **Code** ```ts 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](https://www.typescriptlang.org/play?ts=4.0.3#code/IYIwzgLgTsDGEAJYBthjAgKlApjgcgPYAmOCA3gFAIIAOwuAdhAFwIQAWAlhgD4KMArsmQIAvAOHIA3AgD0c9twxo6hZAE8AtoSi0O7DbRzUEyHADNWSngn5CR4ySOmmoXAOYdrnW-alODjKUbji0qLA4AMLcyMQAFLCxxGy+YAA0CLjhcDhaOMypynbOohJBAJQUpjRpAHTmVk5JXHGyCjYqGLCCUEyIXIyQwIyRNZ117l6IEtkReQUQrjQAviE0uDoAbgQkOPFVVDS1ynX0-QD8k2HzMa0JaZmVywhrodu7pABMAOrAGgdqjQuBZ4vVzotDuNwQxFtccpE7n…