diff options
| -rw-r--r-- | libsolidity/ast/Types.cpp | 2 | ||||
| -rw-r--r-- | test/libsolidity/SolidityNameAndTypeResolution.cpp | 11 |
2 files changed, 13 insertions, 0 deletions
diff --git a/libsolidity/ast/Types.cpp b/libsolidity/ast/Types.cpp index b8c004e2..2e9b56a1 100644 --- a/libsolidity/ast/Types.cpp +++ b/libsolidity/ast/Types.cpp @@ -831,6 +831,8 @@ bool ArrayType::operator==(Type const& _other) const other.isDynamicallySized() != isDynamicallySized() ) return false; + if (*other.baseType() != *baseType()) + return false; return isDynamicallySized() || length() == other.length(); } diff --git a/test/libsolidity/SolidityNameAndTypeResolution.cpp b/test/libsolidity/SolidityNameAndTypeResolution.cpp index fc03dc7c..70c9eb0d 100644 --- a/test/libsolidity/SolidityNameAndTypeResolution.cpp +++ b/test/libsolidity/SolidityNameAndTypeResolution.cpp @@ -2758,6 +2758,17 @@ BOOST_AUTO_TEST_CASE(invalid_args_creating_memory_array) BOOST_CHECK(expectError(text) == Error::Type::TypeError); } +BOOST_AUTO_TEST_CASE(function_overload_array_type) +{ + char const* text = R"( + contract M { + function f(uint[] values); + function f(int[] values); + } + )"; + BOOST_CHECK(success(text)); +} + /*BOOST_AUTO_TEST_CASE(inline_array_declaration_and_passing) { char const* text = R"( |