For each error key in messages.properties, we should have these properties for them:
1.) produce a list of all unique error keys from the messages.properties files.
2.) ensure each key appears somewhere in docs/manual.
3.) ensure each key appears somewhere in the checker source code, to avoid that we have dead error messages in messages.properties files.
4.) ensure each key appears in at least one test case as expected error.
For each error key in messages.properties, we should have these properties for them:
1.) produce a list of all unique error keys from the
messages.propertiesfiles. 2.) ensure each key appears somewhere indocs/manual. 3.) ensure each key appears somewhere in the checker source code, to avoid that we have dead error messages inmessages.propertiesfiles. 4.) ensure each key appears in at least one test case as expected error._Originally posted by @wmdietl in https://github.com/eisop/checker-framework/pull/783#discussion_r1649347238_