Unified: Track all local name kinds in one pass - #22284

Open

asgerf wants to merge 19 commits into

github:mainfrom

asgerf:unified/local-type-names

Commits on Aug 5, 2026

unified: Fix extraction of type parameter bounds and constraints
asgerf
committed
cea1106
unified: Support . in name test annotations
asgerf
committed
e0e3406
unified: Add more local name binding test cases
asgerf
committed
eef277a
unified: add MISSING annotations
asgerf
committed
3b51c4c
unified: Track more kinds of names as local variables
asgerf
committed
7d1b1e4
unified: More precise scoping inside classes
asgerf
committed
5d851e4
unified: Rename Variables.qll -> LocalNameBinding.qll
asgerf
committed
3e25c6a
unified: Rename 'variables' test
asgerf
committed
6df74d7
unified: Rename 'Variable' API to use LocalName terminology
asgerf
committed
686a07d
unified: Two refactorings
asgerf
committed
a5faaef
unified: Also include declaration site access
asgerf
committed
179ae25
unified: Replace getDefiningNode() with isDeclarationSite()
asgerf
committed
427653e
unified: Minor doc comment update
asgerf
committed
012b1ae
unified: fix typo
asgerf
committed
a3a54c3
unified: Add mappings for type parameters on functions and type aliases
asgerf
committed
6e89c7b
unified: Add name binding tests
asgerf
committed
5a302d5
unified: Add mappings for constructor calls with generic arguments
asgerf
committed
74e46ba
unified: Add test with generic constructor call
asgerf
committed
aaa2c1c

Commits on Aug 6, 2026

unified: Update debugScopeGraph.ql
asgerf
committed
9a31d09