Skip to content

Checker/patterns: recover on unifying union types - #16393

Merged
vzarytovskii merged 5 commits into
dotnet:mainfrom
auduchinok:tcPat-unionType
Dec 7, 2023
Merged

Checker/patterns: recover on unifying union types#16393
vzarytovskii merged 5 commits into
dotnet:mainfrom
auduchinok:tcPat-unionType

Conversation

@auduchinok

@auduchinokauduchinok commented Dec 6, 2023

Copy link
Copy Markdown
Member

Continues #7711, adds recovery for unifying union case types, makes it possible to continue analysis in cases like this one:

Screenshot 2023-11-30 at 22 23 40

@auduchinok
auduchinok requested a review from a team as a code ownerDecember 6, 2023 12:59
@auduchinok

Copy link
Copy Markdown
MemberAuthor

This is ready. 🙂

@vzarytovskii
vzarytovskii enabled auto-merge (squash) December 7, 2023 12:04
@psfinaki

Copy link
Copy Markdown
Contributor

Cool! Just for my understanding, what's the problem with the new tests on the .NET framework?

@auduchinok

Copy link
Copy Markdown
MemberAuthor

@psfinaki There're some non-standard line separators used in F# diagnostics, and they're escaped in desktop tests so the baselines don't match.

@vzarytovskii
vzarytovskii merged commit af3f2a1 into dotnet:mainDec 7, 2023
@auduchinok
auduchinok deleted the tcPat-unionType branch December 7, 2023 13:39
@nojafnojaf mentioned this pull request Dec 14, 2023
3 tasks
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

4 participants

@auduchinok@psfinaki@vzarytovskii@T-Gro