Merge main to release/dev17.12#17520

Merged

vzarytovskii merged 11 commits intorelease/dev17.12from

merges/main-to-release/dev17.12

Aug 12, 2024

Commits on Aug 7, 2024

Commits on Aug 8, 2024

Pass SynPat.Typed nodes to original continuation. (#17510)
nojaf
authored
Update dependencies from https://github.com/dotnet/arcade build 20240808.1 (#17511)
dotnet-maestro[bot]
authored

Commits on Aug 9, 2024

Commits on Aug 10, 2024

Commits on Aug 11, 2024

Nullness :: Render C# code analysis attributes in tooltips (#17485)
T-Gro
authored
Merge branch 'release/dev17.12' into merges/main-to-release/dev17.12
vzarytovskii
authored