Merge main to feature/auto-widen#10918

KevinRansom merged 2 commits intofeature/auto-widendotnet/fsharp:feature/auto-widenfrom

merges/main-to-feature/auto-widendotnet/fsharp:merges/main-to-feature/auto-widenCopy head branch name to clipboard