Improve error message for @ts-expect-error directive

I've just been looking for a way to "unit test" some quite complicated generic type signatures, and have just come across the @ts-expect-error and @ts-expect-no-error directives, which I think are fantastic for this kind of use case.

However, if I do something like this:

let myVar = 'bob';

// @ts-expect-error
myVar = 'fred';

The actual error I get is "Unused '@ts-expect-error' directive".

This makes it look as though the directive has been used incorrectly (which obviously it has in this very simple example), but this seems like it will be confusing for anyone subsequently involved in maintaining my code - because it looks as though all they need to do is remove the directive in order to fix the problem, whereas generally speaking, I will have put the directive there for a good reason, and if it's "unused" it means that somebody has broken the type signature logic.

Please could this error message be changed to shift the emphasis more onto the code being wrong, rather than the directive needing to be removed?

E.g.: "'@ts-expect-error' directive - this code should have failed type-checking, but didn't"

Inizia individuando la diagnostica che segnala "Unused '@ts-expect-error' directive" e ispeziona i test del compilatore correlati, se presenti. Aggiorna la formulazione in modo da sottolineare che il codice annotato ha superato inaspettatamente il controllo dei tipi, quindi verifica che l'esempio produca la diagnostica aggiornata.