Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

more helpful error message for errors that occur when typechecking record field accessors #4934

Open
aryairani opened this issue May 12, 2024 · 0 comments
Open

more helpful error message for errors that occur when typechecking record field accessors #4934

aryairani opened this issue May 12, 2024 · 0 comments
Labels
records stuff that's wrong with our current implementation of records

Comments

@aryairani
Copy link
Contributor

see https://discord.com/channels/862108724948500490/1200119393061969951/1238209673417588796

type CompressionMethod =
type ConnectionState = { compressionMethod: CompressionMethod}

This case would be ignored because it's already covered by the preceding case(s):
      2 | type ConnectionState = { compressionMethod: CompressionMethod}

wat?
@aryairani aryairani added the records stuff that's wrong with our current implementation of records label May 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
records stuff that's wrong with our current implementation of records
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@aryairani