Bugfix :: Nullness :: Allow nullable return type for first branches of match and ifthenelse expressions#18322

T-Gro merged 6 commits intomaindotnet/fsharp:mainfrom

18015-nullness-issue---incorrect-type-inferred-when-pattern-matching-with-primary-branch-inferred-from-a-member-calldotnet/fsharp:18015-nullness-issue---incorrect-type-inferred-when-pattern-matching-with-primary-branch-inferred-from-a-member-callCopy head branch name to clipboard