flagging unsigned subtraction assigned to bigger signed number?

[Kagamin]

On Wednesday, 21 May 2025 at 18:19:19 UTC, Walter Bright wrote:
> An unsigned type is of less utility in a language like Java 
> that is not a systems programming language (trying to make a 
> memory allocator with no unsigned types is going to wind up 
> pretty ugly).

Doubtful. Previously this prejudice reached the point where 
cryptography was declared impossible in java due to [absence of 
unsigned 
integers](https://en.wikipedia.org/wiki/Criticism_of_Java#Unsigned_integer_types).