[main] Source code updates from dotnet/diagnostics#1645
Open
dotnet-maestro[bot] wants to merge 2 commits intomainfrom
Open
[main] Source code updates from dotnet/diagnostics#1645dotnet-maestro[bot] wants to merge 2 commits intomainfrom
dotnet-maestro[bot] wants to merge 2 commits intomainfrom