Bound checks for numbers

[clearloop]

Describe the feature

for example,

fn addition(x: i32) -> i32 {
  x + i32::MAX
}

Solution

No response