fn peel_value_preserving<'hir>(expr: &'hir Expr<'hir>) -> &'hir Expr<'hir>Expand description
The expression carrying the same value, behind parentheses, payable(...) and casts to an
address or contract type, which map every operand to itself. A numeric cast such as
uint8(...) truncates: the minted address is then usually not the checked one, so it is
not peeled.