aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/syntaxTests
diff options
context:
space:
mode:
authorchriseth <chris@ethereum.org>2018-03-22 02:07:15 +0800
committerchriseth <chris@ethereum.org>2018-04-12 06:10:25 +0800
commit7343c4028365d3fbc9fa46fca6078971a2bed426 (patch)
tree3044d8ea9bb6434f660305313002ad023f9ba185 /test/libsolidity/syntaxTests
parentc4a6a63f362f478414ac886ed6e5e159038460aa (diff)
downloaddexon-solidity-7343c4028365d3fbc9fa46fca6078971a2bed426.tar.gz
dexon-solidity-7343c4028365d3fbc9fa46fca6078971a2bed426.tar.zst
dexon-solidity-7343c4028365d3fbc9fa46fca6078971a2bed426.zip
Check partial function parameters if rest is arbitrary.
Diffstat (limited to 'test/libsolidity/syntaxTests')
-rw-r--r--test/libsolidity/syntaxTests/functionCalls/arbitrary_parameters_but_restricted_first_type.sol13
1 files changed, 13 insertions, 0 deletions
diff --git a/test/libsolidity/syntaxTests/functionCalls/arbitrary_parameters_but_restricted_first_type.sol b/test/libsolidity/syntaxTests/functionCalls/arbitrary_parameters_but_restricted_first_type.sol
new file mode 100644
index 00000000..94da5881
--- /dev/null
+++ b/test/libsolidity/syntaxTests/functionCalls/arbitrary_parameters_but_restricted_first_type.sol
@@ -0,0 +1,13 @@
+contract C {
+ function f() pure public {
+ abi.encodeWithSelector();
+ abi.encodeWithSignature();
+ abi.encodeWithSelector(uint(2), 2);
+ abi.encodeWithSignature(uint(2), 2);
+ }
+}
+// ----
+// TypeError: (52-76): Need at least 1 arguments for function call, but provided only 0.
+// TypeError: (86-111): Need at least 1 arguments for function call, but provided only 0.
+// TypeError: (144-151): Invalid type for argument in function call. Invalid implicit conversion from uint256 to bytes4 requested.
+// TypeError: (189-196): Invalid type for argument in function call. Invalid implicit conversion from uint256 to string memory requested.