-
Notifications
You must be signed in to change notification settings - Fork 5.7k
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
Disallow the use of MagicType
in complex expressions
#14371
Conversation
5d4520e
to
e93bb7f
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The PR is missing a changelog. Also a bug list entry, unless we're going to cover all these small PRs with a single entry?
test/libsolidity/syntaxTests/metaTypes/type_max_from_ternary_expression.sol
Show resolved
Hide resolved
test/libsolidity/syntaxTests/inline_arrays/unnamed_types_in_inline_array_3.sol
Outdated
Show resolved
Hide resolved
fb133c3
to
eee852b
Compare
test/libsolidity/syntaxTests/inline_arrays/unnamed_types_in_inline_array_1.sol
Show resolved
Hide resolved
5b3a88d
to
4d51d0c
Compare
1ec6c06
to
efdaaf0
Compare
test/libsolidity/semanticTests/expressions/tuple_from_ternary_expression.sol
Outdated
Show resolved
Hide resolved
test/libsolidity/semanticTests/expressions/module_from_ternary_expression.sol
Show resolved
Hide resolved
MagicType::mobileType
returning nullptr
MagicType
in complex expressions
efdaaf0
to
e265e9d
Compare
Looks good now. The only remaining thing is the bug list entry. |
e265e9d
to
0634543
Compare
Rebased. |
0634543
to
f3fc190
Compare
The changelog issue was resolved and Daniel is off today so he would not be able to reapprove anywya.
// TypeError 9717: (98-109): Invalid mobile type in true expression. | ||
// TypeError 3703: (112-122): Invalid mobile type in false expression. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Kinda weird that these are separate errors, but not really an issue for now :)
No description provided.