charon_lib::transform

Module remove_arithmetic_overflow_checks

source
Expand description

§Micro-pass: remove the overflow checks for arithmetic operations we couldn’t remove in

[remove_dynamic_checks]. See comments there for more details.

Structs§