Highlights
Phase 7 type resolution ships return-aware loop inference: for-loop iterables like for (const u of getUsers()) now resolve element types via function return types across 8 languages. PHP gets class-property iterable support for foreach($this->property) patterns.
Type Resolution (Phase 7)
- Phase 7.1–7.2 —
ReturnTypeLookupinterface +ForLoopExtractorContextcontext object + dormantpendingCallResultsinfrastructure (#341) - Phase 7.3 — Call-expression iterable resolution for TS/JS, Java, Kotlin, C#, Go, Rust, Python, PHP (#341)
- Phase 7.4 — PHP
$this->propertyforeach via@varclass property scan (#341) - Phase 7.5 — PHP
function_call_expression/member_call_expressionforeach (#341) extractReturnTypeNamededuplicated fromcall-processor.tsintoshared.ts(137 lines removed)
Bug Fixes
- impact: return structured error + partial results instead of crashing (#345) by @ShunsukeHayashi
- impact: add
HAS_METHODandOVERRIDEStoVALID_RELATION_TYPES(#350) by @karesansui-u - cli: write tool output to stdout via fd 1 instead of stderr (#346) by @ShunsukeHayashi
- postinstall: add permission fix for CLI and hook scripts (#348) by @ShunsukeHayashi
New Contributors
- @ShunsukeHayashi made their first contribution in #345
- @karesansui-u made their first contribution in #350
Full Changelog: v1.4.5...v1.4.6