Exact

Exact Union RegExp

Gergo Magyar e9ccec1a52 test(type-resolution): add integration tests for Milestone D across all 11 languages + fix Kotlin null-check narrowing ... Adds 17 new fixture directories and 23 new describe blocks covering every feature in Milestone D (Phases A, B, C) with full cross-language integration test coverage: Phase A — Fixpoint Completeness: - TS/JS object destructuring (const { field } = obj → fieldAccess resolution) - TS/JS post-fixpoint for-loop replay (iterable var resolved by fixpoint) - Rust struct_pattern destructuring (let Point { x, y } = p) Phase B — Inheritance & Receivers: - Grandparent MRO (depth-2 C→B→A) for all 9 OOP languages: TS, Kotlin, C#, C++, Java, PHP, Python, Ruby, JS - Go inc/dec write access (obj.Field++/-- emit ACCESSES write edges) Phase C — Branch-Sensitive Narrowing: - Null-check narrowing for TS (!==null, !=null, !==undefined), C# (!=null, is not null), and Kotlin (!=null) Bug fix — Kotlin null-check narrowing (3 issues in jvm.ts): 1. patternBindingNodeTypes registered 'comparison_expression' but tree-sitter-kotlin produces 'equality_expression' for != 2. Handler checked for 'null_literal' named child but 'null' is an anonymous node in the Kotlin grammar 3. extractKotlinParameter only searched for 'user_type' direct child, missing 'nullable_type' wrapper (so x: User? never got a base binding) 17 fixtures, 23 describe blocks, 705 new lines of test code, 0 failures.		2026-03-19 20:23:06 +00:00
..
models	test(type-resolution): add integration tests for Milestone D across all 11 languages + fix Kotlin null-check narrowing	2026-03-19 20:23:06 +00:00
app.py	test(type-resolution): add integration tests for Milestone D across all 11 languages + fix Kotlin null-check narrowing	2026-03-19 20:23:06 +00:00