diff options
author | chriseth <c@ethdev.com> | 2017-03-01 22:42:53 +0800 |
---|---|---|
committer | chriseth <c@ethdev.com> | 2017-03-02 21:33:58 +0800 |
commit | cc01d870ff642ee3c52f5473f6f2a2fba5ec15c8 (patch) | |
tree | e421bd6cb31460a9f3ceadaf9f863620ecb7e893 /libsolidity | |
parent | 2600fa041319b285f43ac0c751756d422a4e2658 (diff) | |
download | dexon-solidity-cc01d870ff642ee3c52f5473f6f2a2fba5ec15c8.tar dexon-solidity-cc01d870ff642ee3c52f5473f6f2a2fba5ec15c8.tar.gz dexon-solidity-cc01d870ff642ee3c52f5473f6f2a2fba5ec15c8.tar.bz2 dexon-solidity-cc01d870ff642ee3c52f5473f6f2a2fba5ec15c8.tar.lz dexon-solidity-cc01d870ff642ee3c52f5473f6f2a2fba5ec15c8.tar.xz dexon-solidity-cc01d870ff642ee3c52f5473f6f2a2fba5ec15c8.tar.zst dexon-solidity-cc01d870ff642ee3c52f5473f6f2a2fba5ec15c8.zip |
Disallow variable declaration with inferred empty tuple type.
Diffstat (limited to 'libsolidity')
-rw-r--r-- | libsolidity/analysis/TypeChecker.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/libsolidity/analysis/TypeChecker.cpp b/libsolidity/analysis/TypeChecker.cpp index 4025831e..ff55ef1f 100644 --- a/libsolidity/analysis/TypeChecker.cpp +++ b/libsolidity/analysis/TypeChecker.cpp @@ -824,6 +824,11 @@ bool TypeChecker::visit(VariableDeclarationStatement const& _statement) else solAssert(false, ""); } + else if (*var.annotation().type == TupleType()) + typeError( + var.location(), + "Cannot declare variable with void (empty tuple) type." + ); var.accept(*this); } else |