[main] Source code updates from dotnet/dotnet - #20925

[main] Source code updates from dotnet/dotnet#20925

dotnet-maestro[bot] merged 6 commits into

maindotnet/fsharp:mainfrom

darc-main-db7bf328-9e1f-478a-8cf0-b174d3f7d507dotnet/fsharp:darc-main-db7bf328-9e1f-478a-8cf0-b174d3f7d507Copy head branch name to clipboard