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

Compiler: fix is_a? from generic class against generic class instance type #12312

Merged

Conversation

asterite
Copy link
Member

Fixes #12304

@asterite asterite added kind:bug A bug in the code. Does not apply to documentation, specs, etc. topic:compiler:semantic topic:compiler:interpreter labels Jul 24, 2022
@straight-shoota straight-shoota added this to the 1.6.0 milestone Jul 24, 2022
@asterite
Copy link
Member Author

Yup, a commutstive rule was missing.

I'll later check if any other is missing.

I'll merge this now because @cyangle is really good at reducing interpreter bugs, so the more bugs we have fixed on master the less false positives they'll have.

@asterite asterite merged commit d939d6f into master Jul 24, 2022
@asterite asterite deleted the bug/is_a_from_generic_class_to_generic_class_instance_type branch July 24, 2022 20:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind:bug A bug in the code. Does not apply to documentation, specs, etc. topic:compiler:interpreter topic:compiler:semantic
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Interpreter: Reached the unreachable (Exception) with generic class
2 participants