[release/10.0.1xx] Source code updates from dotnet/fsharp#2638

dotnet-maestro[bot] merged 2 commits intorelease/10.0.1xxdotnet/dotnet:release/10.0.1xxfrom

darc-release/10.0.1xx-df0ae945-5862-480a-b6ff-1bfaca57e76ddotnet/dotnet:darc-release/10.0.1xx-df0ae945-5862-480a-b6ff-1bfaca57e76dCopy head branch name to clipboard