-
Notifications
You must be signed in to change notification settings - Fork 1.9k
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
Arbitrary number properties are allowed #1512
Labels
Typing: soundness
No false negatives (type checker claims that there is no error in the incorrect program)
Comments
This is still an issue. |
I think, if you want this to type-check you have to seal the object. E.g |
Nope, this is definitely a bug, for example changing |
vkurchatkin
changed the title
Arbitrary indexed properties are allowed
Arbitrary number properties are allowed
Oct 20, 2016
vkurchatkin
added
the
Typing: soundness
No false negatives (type checker claims that there is no error in the incorrect program)
label
Oct 21, 2016
Fixed in 80ca16f |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
Typing: soundness
No false negatives (type checker claims that there is no error in the incorrect program)
This type-checks:
o[0]
behaves as it it was declared asany
The text was updated successfully, but these errors were encountered: