> if the error message suggests a change, one of the risks is that such an edit can make the error go away, but the code will not be correct. [...]

"Error messages: diagnostic is preferable to prescriptive" [1] is a riff on a similar theme, though the author of that blog post is focusing on error messages for Microsoft's C# compiler, which are more likely to be intended for experienced professional developers, so he is coming at the problem from a different perspective than the student-focused one of the paper you mentioned.

[1] https://web.archive.org/web/20060720004516/http://blogs.msdn...