extractor: sound throw-routing for using / finally-only-try bodies (onThrowDefinite) - #160

Merged

PhysShell merged 2 commits into

mainfrom

claude/mos-ownership-summary-n3q3j4

Jun 28, 2026

Commits on Jun 28, 2026

extractor: sound throw-routing for using/finally-only-try bodies (onThrowDefinite)
claude
committed
5898c7b
corpus: model Guard in using-statement-throw-releases case.own (CodeRabbit)
claude
committed
c0fae36