In our language, we report well-known type errors using checking rules. These rules more or less guarantee that we have access to concrete nodes, allowing us to correctly report errors on them.
We also have some inference rules that end up operating on purely transient nodes (i.e. type nodes that were generated by typesystem evaluation). These sometimes result in errors (due to failed inference), which is expected, but we aren't able to report them properly: in some cases they reference incomplete types, and we don't know the concrete source node of the error.
Knowing that we can (for the most part) detect and report the same errors from checking rules, is there a way to suppress the error messages from these inference rules?