Skip to content

fix(rename): preserve record fields in punned uses - #2040

Open
rgrinberg wants to merge 2 commits into
masterfrom
push-mtokuzsrxkrv
Open

fix(rename): preserve record fields in punned uses#2040
rgrinberg wants to merge 2 commits into
masterfrom
push-mtokuzsrxkrv

fix(rename): expand record puns when renaming variables

2997445
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Build and Test (windows-latest)
succeeded Jul 31, 2026 in 13m 55s