Lint to detect unneeded `// PANIC: ...` comments

[ojeda]

What it does

The dual lint to the one that requires those comments: #15861

In other words, like unnecessary_safety_comment, but for // PANIC: ... comments.

Cc: @blyxyas

Advantage

No response

Drawbacks

No response

Example

Assuming f() is not in the list that would require a // PANIC: ... comment, then:

// PANIC: ...
f();

Should be written as:

f();

Comparison with existing lints

No response

Additional Context

For details and context, please see the dual lint linked above.