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

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

dotnet-maestro[bot] wants to merge 1 commit into

maindotnet/fsharp:mainfrom

darc-main-e7f4f48a-7993-4d24-a038-9462ffeaa4bddotnet/fsharp:darc-main-e7f4f48a-7993-4d24-a038-9462ffeaa4bdCopy head branch name to clipboard