fix(eliminate): skip inlining when substitution site is inside a loop body#58

Merged

NikolaRHristov merged 7 commits into

fix/eliminate-loop-body-inline

May 25, 2026

Commits on May 25, 2026

fix(eliminate): skip inlining when substitution site is inside a loop body
NikolaRHristov
committed
fix(#58): resolve conflict with #57 — forward-port RunPreserve into mod.rs
NikolaRHristov
committed
fix(#58): merge-resolve Inline.rs — combine #57 IsFreeVarSafe + #58 InLoop guard
NikolaRHristov
committed
chore(#58): bring tests/Eliminate/ in sync with Current (464c558)
NikolaRHristov
committed
fix(#58): resolve merge conflicts in Inline.rs against Current
NikolaRHristov
committed
fix(eliminate/inline): resolve merge conflict - keep three-tuple, loop tests, deduplicate FindSubstSite block
NikolaRHristov
committed
Merge branch 'Current' into fix/eliminate-loop-body-inline
NikolaRHristov
authored