This issue is recorded on an OSX, python: 3.11 version.
Code snippet example where this happens is provided below:
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.
Manual Review
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.
The contest is live. Earn rewards by submitting a finding.
This is your time to appeal against judgements on your submissions.
Appeals are being carefully reviewed by our judges.