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

[ojeda]

What it does

The dual lint to the one(s) that require those comments: #16073.

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

Cc: @blyxyas @hcbarker @fbq

Advantage

No response

Drawbacks

No response

Example

// ORDERING: ...
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.