trocher

You might want to look into that [https://github.com/signalapp/ContactDiscoveryService](https://github.com/signalapp/ContactDiscoveryService)

Hey @dotneutron and @tshaheer some updates on that that might help : in the AWS console For messageDb : - Partition key : H (Binary) - Sort key : S...

Might be redundant with your examples, but I got this one which is compiling: ```Vyper a:constant(uint256)=1 b:constant(uint16)=a+0 ``` Where this one does not: ```Vyper a:constant(uint256)=1 b:constant(uint16)=a ```

> As a side note, this also causes some funky stuff when used as array index: > > ```vyper > CONST: constant(int128) = 1 > > @external > def foo():...

I believe this was fixed by #3288 itself fixing a dup of this issue (#3284) @charles-cooper

Note: same issue with the builtin `sha256`

In my opinion, if this is prevented, we should go even further and enforce that the modifiability of the interface function matches exactly the modifiability of the defined function. For...

Another example to add to tests when the issue will be patched: ```Vyper d:String[4] @internal def bar()->uint256: return 0 @external def bar(): f:DynArray[String[5], 1] = ["aaaaa"] f[self.bar()] = self.d ```

Other example: ```Vyper @external @payable def foo(): x:uint256 = 1 a:uint256 = min([1,2][x], 1) ``` ``` vyper.exceptions.TypeMismatch: Given reference has type int8, expected uint256 ``` (Also for reference still an...

Some minimal repro for the tests when the issue will be fixed: ``` Vyper @external def foo(): success: address = empty(address) if True else empty(address) ```