feat(extractor): borrow checker — Memory<T> view that escapes after Return → OWN002 (POOL004)#70

Merged

PhysShell merged 3 commits into

mainfrom

claude/memory-view-escape

Jun 21, 2026

Commits on Jun 21, 2026

feat(extractor): borrow checker — Memory<T> view that ESCAPES after Return → OWN002 (POOL004)
claude
committed
fix(extractor): catch the try/finally Memory escape + target-typed new (Codex/CodeRabbit)
claude
committed
fix(extractor): ReturnedViewOwners follows only the returned value, not every identifier (CodeRabbit)
claude
committed