Closed
Description
There's a clippy lint for this if we want to make sure we don't add more of these in the future: https://rust-lang.github.io/rust-clippy/master/index.html#integer_arithmetic
AFAIK there is also one for casts, right?
Is there a good way to also subject the miri engine in librustc_mir/interpret
to these checks?