Deprecate `!a == b`

[Dennis]

On Wednesday, 14 August 2024 at 18:19:00 UTC, IchorDev wrote:
> I also stated separately that in an ideal world we’d 
> **completely remove** integer promotion. In the list, the idea 
> was that the compiler would force you to manually write a cast 
> whenever and wherever the compiler decides to promote an integer

'removing integer promotion' and 'requiring a cast' (or other 
explicit type conversion between integers) read as the same thing 
to me. 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.