The compiler can use the known bounds of a type to perform correctness checks or optimizations. It might not be testing every possible value of an int explicitl

The compiler can use the known bounds of a type to perform correctness checks or optimizations. It might not be testing every possible value of an int explicitly, but the compiler certainly uses the range of an int to make lots of decisions and produce warnings/errors.