I don't see how that would work. Casting -1 to an unsigned type is independent of representation and will always give the max unsigned value.

C has _Static_assert.