Skip to content

Conversation

@kerams
Copy link
Contributor

@kerams kerams commented Jun 21, 2023

Fixes #6872.

Ditched the error from type checking as it had been nonsensical in the first place.

devenv_R9ZkQvqtgW

@kerams kerams requested a review from a team as a code owner June 21, 2023 15:16
@kerams kerams changed the title Improve diagnostics for malformed anonymous records Improve diagnostics for malformed anonymous record types Jun 21, 2023
@kerams kerams closed this Jun 21, 2023
@kerams kerams reopened this Jun 21, 2023
@kerams kerams closed this Jun 21, 2023
@kerams kerams reopened this Jun 21, 2023
@abonie abonie merged commit f5c22d0 into dotnet:main Jun 22, 2023
@kerams kerams deleted the a2 branch June 22, 2023 09:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Improve Error Reporting: Internal error with badly defined anonymous record

4 participants