Deprecate `!a == b`

[IchorDev]

On Wednesday, 14 August 2024 at 20:14:01 UTC, Dennis wrote:
> I didn't know you meant mandating explicit promotion casts, 
> that would be an abomination indeed.
>
> But that still makes me confused about the message of your 
> list. I thought it was supposed to demonstrate that anti-goof 
> mechanisms are silly, but if you deliberately make the 
> mechanisms an abomination, then of course they are.

Removing integer promotion would not be equivalent to this 
proposal. This proposal says that you should be more explicit so 
that the compiler can be sure you aren’t making a mistake. When 
applying the same methodology to integer promotion, it produces 
an abomination; so the methodology should come into question for 
producing an abomination when applied to a similarly 
human-error-prone area of the language.