flagging unsigned subtraction assigned to bigger signed number?

[Lance Bachmeier]

On Wednesday, 21 May 2025 at 04:44:35 UTC, Walter Bright wrote:
> This is a common issue. Unfortunately, nobody has come up with 
> a solution to this in the last 45 years. Since every 
> combination of signed and unsigned has well-defined behavior, 
> prohibiting one of those behaviors is going to break a lot of 
> code. Changing the conversion rules will break a lot of 
> existing behavior. There's no way around it.

None of this has prevented you from supporting safe by default. 
Heck, I thought the whole purpose behind your work on the borrow 
checker was to break code.