cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

[FIXUP] Extra assertions in the type checker

Browse Source
This commit is contained in:
Kamil Śliwak 2022-07-26 12:39:33 +02:00
parent 84c42d4ae2
commit a5a294053d
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
libsolidity/analysis/TypeChecker.cpp
View File

@ -3750,6 +3750,9 @@ void TypeChecker::endVisit(Literal const& _literal)
else else
{ {
FunctionType const& functionType = dynamic_cast<FunctionType const&>(*declaration->type()); FunctionType const& functionType = dynamic_cast<FunctionType const&>(*declaration->type());
solAssert(!functionType.takesArbitraryParameters());
solAssert(functionType.kind() == FunctionType::Kind::Internal);
auto const* rationalType = dynamic_cast<RationalNumberType const*>(type); auto const* rationalType = dynamic_cast<RationalNumberType const*>(type);
optional<string> parameterCountMessage; optional<string> parameterCountMessage;