ES6 Class: `asserts this is Type` raises error when variable containing instance is type narrowed

Bug Report

🔎 Search Terms

• Error: "Assertions require every name in the call target to be declared with an explicit type annotation"
• Assertation function as class method
• Type narrowing class and then calling assertation method

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ for entries about this

⏯ Playground Link

Playground link with relevant code

💻 Code

class MyClass {
	public assertIsMyClass(): asserts this is MyClass {
		if (!(this instanceof MyClass)) {
			throw new Error('this was not of type MyClass');
		}
	}
}

const maybeMyClass: MyClass | undefined = new MyClass();

if (maybeMyClass) {
	// This fails with error:
	// Assertions require every name in the call target to be declared with an explicit type annotation.(2775)
	maybeMyClass.assertIsMyClass();

	// But if we simply assign to a new variable without the optionality, it's fine:

	// this line works because we have narrowed the type through the if statement above
	const definitelyMyClass: MyClass = maybeMyClass; 
	// This raises no error even though it's equivalent to the first attempt
	definitelyMyClass.assertIsMyClass();
}

🙁 Actual behavior

Calling the class method assertation function raises error: "Assertions require every name in the call target to be declared with an explicit type annotation.(2775)"

🙂 Expected behavior

It should pass validation and narrow to the type given in the assertation.
This is because it will have this behavior if you simply assign to a new variable with a new type annotation (but which is equivalent to the narrowed type at that point).

Commencez par le lien Playground fourni et reproduisez le diagnostic dans l’exemple de code, en comparant la variable dont le type a été affiné avec la variable annotée explicitement. Suivez la validation des appels d’assertion dans le compilateur TypeScript et ajoutez une couverture pour ce cas de méthode de classe. La tâche est terminée lorsque l’appel dont le type a été affiné passe la validation et que les vérifications d’assertion existantes restent correctes.