-
Notifications
You must be signed in to change notification settings - Fork 81
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
Type-inference tests fail with inheritance test #2439
Comments
The test fails here: toit/tests/toitdoc/inheritance.toit Line 46 in a8a5a92
Run with:
The |
Once fixed please change the code (master/PR) back to using a block. |
Looking into this now. Running:
leads to the
The bytecode at 3238 is loading an outer local in a block from within
The corresponding source code is:
So we infer that
Now looking into what may cause us to not see the assignment to the local -- or to not reanalyze the block after the type information has been extended. |
This smaller example illustrates the problem:
The assignment to |
Addressed by #2597. |
I get the following error:
The text was updated successfully, but these errors were encountered: