Show errors that have no fixes #26
Description
Excluding some errors forces the user to have to look at the problems view and learn how to invoke the type checker.
{{ message }}
Excluding some errors forces the user to have to look at the problems view and learn how to invoke the type checker.