Well, we could perhaps add a sparse warning that makes noise when a
unsigned subtraction is cast to a wider signed field. I dunno if it would
catch anything interesting, or just cause a ton of irritating noise.
Ugly and inefficient is not acceptable, even for these kinds of reasons.
So yes, the simpler version is much better.
Linus
--