Oh good point, sorry I missed that! I think that the ability is being added soon as well to have `//~ ERROR long message [...] other contents` with the discriminant pull request, so you'd be able to omit the middle stuff.

A NOTE would be nice, but probably not necessary, especially if you mention that it's already a static constant.