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).

Comienza con el enlace de Playground proporcionado y reproduce el diagnóstico del ejemplo de código, comparando la variable cuyo tipo se ha estrechado con la variable anotada explícitamente. Traza la validación de las llamadas de aserción en el compilador de TypeScript y añade cobertura para este caso de método de clase. La tarea estará terminada cuando la llamada con el tipo estrechado supere la validación y las comprobaciones de aserción existentes sigan siendo correctas.