Skip to content

Unified: Local scoping followups#22237

Draft
asgerf wants to merge 5 commits into
github:mainfrom
asgerf:unified/local-scoping-followups
Draft

Unified: Local scoping followups#22237
asgerf wants to merge 5 commits into
github:mainfrom
asgerf:unified/local-scoping-followups

Conversation

@asgerf

@asgerf asgerf commented Jul 27, 2026

Copy link
Copy Markdown
Contributor

Follows up on some comments @hvitved left on this PR, which was merged to unblock @tausbn.

Also contains a fix to the AST mapping since one of the comments pointed to a bug whose root cause was in the AST mapping.

@asgerf asgerf added the no-change-note-required This PR does not need a change note label Jul 27, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-change-note-required This PR does not need a change note

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant