bug: array of different types can be folded

[tserg]

Version Information

• vyper Version (output of vyper --version): 95bf73f
• OS: linux
• Python Version (output of python --version): 3.10.8

What's your issue about?

The first statement compiles even though there is a type mismatch in the literal array. It should fail compilation like the second statement.

@external
def foo():
    a: uint256 = [max_value(decimal), max_value(uint256)][1] # compiles  
    b: uint256 = [1.0, max_value(uint256)][1]

h/t @trocher @ptrcarta

How can it be fixed?

Fill this in if you know how to fix it.

[trocher]

The issue is no longer there in 4b4e188, the example above fails compilation. Was removed by the refactoring of folding (#3719, #3669)