vyper Version (output of vyper --version OR linkable commit hash vyperlang/vyper@): vyperlang/vyper@b43fface148b45cbd2c90b5d24f77398a63745b5
Issue Description
When some node is folded the folded value is not validated. In the
general case, it is not an issue as the semantic validation phase will
catch the error. However, if the folded value is used in a type
annotation for a String or Byte type, the compiler will not raise.
POC
The following contract compiles although the size in byte of the String
is greater than the maximum value of uint256
Version Information
vyper --versionOR linkable commit hash vyperlang/vyper@Issue Description
When some node is folded the folded value is not validated. In the general case, it is not an issue as the semantic validation phase will catch the error. However, if the folded value is used in a type annotation for a
StringorBytetype, the compiler will not raise.POC
The following contract compiles although the size in byte of the String is greater than the maximum value of uint256