sudo rm -rf --no-preserve-root /

Given the current state of the EVM, only `STATICCALL`-based reentrancy doesn't pose any risk. This might change if the EVM would allow for parallelisation where during a `view` function callback...

Overall I like this idea very much. But I have to admit that I had to read the specs multiple times to understand the semantics of the "intrinsic sign" correctly....

> i think this is a fine proposal but it more belongs in a discussion about metaprogramming / dunder methods than the issue at hand good point - we should...

Some further thoughts. Maybe it's worth considering the [dataclass](https://docs.python.org/3/library/dataclasses.html) decorator as we will add further special dunder functions in the future: ```vyper __typevars__ = { "T" } @dataclass(getval=True, setval=True, system=False,...

@zcor the `keccak256` function only accepts a literal string, `Bytes`, or `bytes32`. Just convert it to `bytes32` instead: ```vyper # @version ^0.3.7 @external @pure def hash_addr(addr: address) -> bytes32: return...

right but it depends on how you construct the Merkle tree of course. So let me give another couple of options (since I don't know the exact specs here): ###...

> ah yes, i forgot about slice -- slice( convert(addr, bytes20), 0, 20) should work. You must use `bytes32` since `slice` doesn't accept anything else than `Bytes`, `bytes32`, or `String`....

@zcor FYI, I have now also implemented Merkle tree multiproofs in 🐍 Vyper: https://github.com/pcaversaccio/snekmate/blob/main/src/utils/MerkleProofVerification.vy @charles-cooper I assume this issue can be closed.

Another example, where this behavior would be useful: ```vyper @external def example_fn(asset_: ERC20): success: bool = empty(bool) return_data: Bytes[max_value(uint8)] = b"" success, return_data = raw_call(asset_, ...) ``` To fix it...

> sorry i think i forgot to comment on this -- i think the issue here is the error message is confusing, but there are not implicit type conversions going...