Repository navigation

fix(hir): capture-snapshot P0 pair — resolved-name re-registration + assignment tracking - #5938

Merged

proggeramlug merged 3 commits into

mainfrom

fix/capture-rereg-shadowing

Jul 4, 2026

Merged

fix(hir): capture-snapshot P0 pair — resolved-name re-registration + assignment tracking#5938
proggeramlug merged 3 commits into
mainfrom
fix/capture-rereg-shadowing

Commits on Jul 4, 2026
- fix(hir): end-of-body capture re-registration must use the RESOLVED class name and refresh before every return
  Ralph Küpper
  committed
  d28f45c
- fix(hir): class-capture snapshot tracks same-body assignments; salvage stranded e2e
  Ralph Küpper
  committed
  d68571e
- chore: v0.5.1230 metadata
  Ralph Küpper
  committed
  a5f9b92