Copy and paste error messages from the typechecker when using suppressions

programming.protips.wiki