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

KevinRansom merged 2 commits into

feature/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