Assert that type is unsigned integer or enum type with maximal size

Question

I\'m trying to make it possible to write the following to statically assert that a variables type is an unsigned integer with size less than or equal to four bytes.

I