Merge feature/auto-widen to feature/erased-unions#11884

KevinRansom merged 2 commits intofeature/erased-unionsdotnet/fsharp:feature/erased-unionsfrom

merges/feature/auto-widen-to-feature/erased-unionsdotnet/fsharp:merges/feature/auto-widen-to-feature/erased-unionsCopy head branch name to clipboard