//~ ERROR annotations without error body

[blyxyas]

On this Zulip thread, we concluded that Clippy doesn't need bodies for the //~ ERROR annotations. It would be really cool if there wasn't a need to put the body of the error on the annotation (maybe with a //@ optional-bodies header or similar?)