Skip to content

Fix: 14814 --- Inaccurate error in anonymous record copy-and-update#15625

Merged
vzarytovskii merged 1 commit into
dotnet:mainfrom
KevinRansom:fix15214
Jul 19, 2023
Merged

Fix: 14814 --- Inaccurate error in anonymous record copy-and-update#15625
vzarytovskii merged 1 commit into
dotnet:mainfrom
KevinRansom:fix15214

revert https://github.com/dotnet/fsharp/commit/2ef33c4edf540805d78e59…

8468d57
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs