Vulnerability Details

This issue is recorded on an OSX, python: 3.11 version.

Code snippet example where this happens is provided below:

Impact

Attempting to get the len(length) of a literal array fails with compiler bubbling up an InvalidType exception error message even though literal arrays can be passed as dynamic. The contract code snippet provided above fails to compile with the InvalidType error exception message.

Tools Used

Manual Review

Recommendations

Making sure the len built-in method handles the cases of both literal and dynamic arrays would be a great fix for this issue. A custom error message for other types of data types passed which are not supported would be an added fix for error message bubbling.