Skip to content

v2: lower the where-refined head so resolve binds it; ResolvedTree.resolved_declarations (base for #12407) - #12629

Merged
gunbai-bot[bot] merged 17 commits into
mainfrom
session/wise-bat-862-resolved-decls
Sep 30, 2026
Merged

v2: lower the where-refined head so resolve binds it; ResolvedTree.resolved_declarations (base for #12407)#12629
gunbai-bot[bot] merged 17 commits into
mainfrom
session/wise-bat-862-resolved-decls

resolve: ResolvedTree comment states symbol_index's consumers once (n…

f293dcb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar