Skip to content

Added MIR optimization to avoid unnecessary re-borrows#907

Draft
dewert99 wants to merge 1 commit intocreusot-rs:masterfrom dewert99:mir-reborrows
+2,128-3,224

Commits

Commits on Nov 10, 2023