tserg

This also compiles, when it should not: ``` a: constant(uint8) = 255 b: constant(uint8) = 1 @external def foo() -> uint8: return a + b ``` [UPDATE - this now...

Another example: ``` a: constant(int8) = 25 b: constant(uint8) = 38 @external def foo() -> bool: return a < b ```

I tried with both `3.0.1` and the `master` branch.

> 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...

> ```vyper > interface Self: > def protected_view_fn() -> String[100]: view > > _counter: uint256 > > @external > def bar() -> String[100]: > return Self(self).protected_view_fn() > > @external >...

> btw isn't this tracked in a VIP somewhere? please link Yes, I have updated the top-level post with the link to the VIP.

> > > btw isn't this tracked in a VIP somewhere? please link > > > > > > Yes, I have updated the top-level post with the link to...

``` results.append(Result({success=success, return_data=return_data})) # This will raise ``` The curly brackets are dropped in the new syntax, so this should compile: ``` results.append(Result(success=success, return_data=return_data)) ```

> Also, I think it would make sense to update the docs [here](https://docs.vyperlang.org/en/latest/types.html#structs) with the new syntax. Good point, I will follow up on this and the tests. Thanks!

Last failing test may be resolved by https://github.com/vyperlang/vyper/pull/3375