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.

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

Fix error in typing rules for EKeys #207

Merged
merged 1 commit into from
Feb 6, 2024
Merged

Fix error in typing rules for EKeys #207

merged 1 commit into from
Feb 6, 2024

Conversation

jhnaldo
Copy link
Contributor

@jhnaldo jhnaldo commented Feb 6, 2024

There is an error in typing rules related to EKeys.

@jhnaldo jhnaldo added bug Something isn't working area:analyzer Related to analyzer area:type Related to types labels Feb 6, 2024
@jhnaldo jhnaldo merged commit 815d6ea into dev Feb 6, 2024
6 checks passed
@jhnaldo jhnaldo deleted the fix-type-sem-keys branch February 6, 2024 09:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area:analyzer Related to analyzer area:type Related to types bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant