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

dotnet-maestro[bot] wants to merge 2 commits intomaindotnet/fsharp:mainfrom

darc-main-eb483eda-0f74-4b84-abf6-831d1d87dac7dotnet/fsharp:darc-main-eb483eda-0f74-4b84-abf6-831d1d87dac7Copy head branch name to clipboard