Fix attribute resolution in recursive module/namespace scopes#19744

Draft

T-Gro wants to merge 9 commits into

mainfrom

fix-5795-rec-module-attrs

Commits on May 14, 2026

Sprint 01: Test scaffolding for attribute resolution in recursive scopes

T-Gro
and
Copilot
committed
Sprint 02: Fix union case attributes in module rec

T-Gro
and
Copilot
committed
Sprint 03: Fix record field attributes in module rec

Tomas
and
Copilot
committed
Sprint 04: Fix typar attributes in module rec

T-Gro
and
Copilot
committed
Sprint 5: edge-case and negative tests for attribute resolution in rec scopes

T-Gro
and
Copilot
committed
Sprint 06: final validation, namespace-rec union case test, release notes

T-Gro
and
Copilot
committed
Sprint 07: Fixup #1 — gate typar attr re-resolution, preserve fixup on recoverable exn

T-Gro
and
Copilot
committed

Commits on May 15, 2026

Trim verbose comments to short technical notes

T-Gro
and
Copilot
committed
Add PR link to release notes

T-Gro
and
Copilot
committed