Zellic / solidity-parser

Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the solc compiler.
https://solp.zellic.io
GNU Affero General Public License v3.0
51 stars 2 forks source link

array/copying/array_nested_storage_to_memory.sol #27

Closed t81lal closed 4 months ago

t81lal commented 6 months ago

Parser: 0.8.22

Line 17, a3.push isn't being resolved in AST2Builder.refine_call_function calleescontain 2 found symbols for push but argument type matching is failing and candidates is empty Specifically this check: if all([targ.can_implicitly_cast_from(actual) for targ, actual in zip(input_types, arg_types)]): where targ = FixedLengthArrayType(base_type=IntType(is_signed=False, size=256), size=2) actual = FixedLengthArrayType(base_type=PreciseIntType(is_signed=False, size=8, real_bit_length=2), size=2)