v2 resolve: a kernel type spelling is read by its declaration (own Int shadows, imported user Int refuses) - #12540

Merged

gunbai-bot[bot] merged 7 commits into

mainfrom

session/neat-ibex-696

Sep 29, 2026

Commits on Sep 28, 2026

v2 resolve: a module's own `type Int` / `type Bool` shadows the kernel spelling instead of being captured

gunbc-ci-auto-heal
and
claude
committed
4aef862
v2 resolve: an imported user Int refuses instead of binding the kernel Int

gunbc-ci-auto-heal
and
claude
committed
62b0b0b
v2 resolve: an ambiguous kernel spelling refuses unless every candidate is a kernel declaration

gunbc-ci-auto-heal
and
claude
committed
fa8c596
test.claim.parse_test_fn_decl_return_clause: lowering carries the authored return-type spelling

gunbc-ci-auto-heal
and
claude
committed
32194a7
v2 resolve: the single-tree namespace binds the module's own declarations; ownership reads declared_in

gunbc-ci-auto-heal
and
claude
committed
b55b8a7
v2 resolve: select a grafted module body by the graft's mark, never by walking names

gunbc-ci-auto-heal
and
claude
committed
e519bda
v2 resolve: move build_program_namespace's rationale above the declaration

gunbc-ci-auto-heal
and
claude
committed
658ca0f