Save work on emitting ignored diagnostics (#20621)

We already use this trick a little, but we can be much more aggressive
about it.

Best reviewed with whitespace ignored. If the `pure_` renames are
undesirable it is easy to remove them, just helped me avoid some
incorrect changes.

This is a 4.5% win on compiled self check

Author: hauntsaninja