import checkedint.noex : safeOp; // use IntFlagPolicy.noex
assert(safeOp.mulPow2(-23, 5) == -736);
safeOp.mulPow2(10_000_000, 10);
assert(IntFlags.local.clear() == IntFlag.posOver);
assert(safeOp.mulPow2(65536, -8) == 256);
assert(safeOp.mulPow2(-100, -100) == 0);
Equivalent to left * pow(2, exp), but faster and works with a wider range of inputs. This is a safer alternative to left << exp that is still very fast.
Note that (conceptually) rounding occurs after the *, meaning that mulPow2(left, -exp) is equivalent to divPow2(left, exp).