Skip to content

Fix record cast with named record type#7185

Open
bentsherman wants to merge 1 commit into
masterfrom
fix-cast-as-record-type
Open

Fix record cast with named record type#7185
bentsherman wants to merge 1 commit into
masterfrom
fix-cast-as-record-type

Commits

Commits on May 28, 2026