We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
The fix to #430 was incomplete. Consider:
void z(Void o) { if (is Object o) { class Inner() { Object x = o; } } assert (is Object o); class Inner() { Object x = o; } }
This well-typed code results in two errors:
specified expression must be assignable to declared type of x: Void is not assignable to Object
The text was updated successfully, but these errors were encountered:
test for #435
d3d2430
f426f5c
8d18238
fix #435 distinguish in model between "scope" and "container"
b43e60d
gavinking
No branches or pull requests
The fix to #430 was incomplete. Consider:
This well-typed code results in two errors:
The text was updated successfully, but these errors were encountered: