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

Commits

Commits on Jul 31, 2026