Fix issue where compiler doesn't reject method call on storage struct

ethereum / fe

Emerging smart contract language for the Ethereum blockchain.

https://fe-lang.org

Other

1.61k stars 187 forks source link

Closed cburgdorf closed 1 year ago

cburgdorf commented 1 year ago

A regression caused the compiler to not properly reject code that is trying to call a method on an in-storage struct.

Ensured the check happens on the non-derefenced type.
Added a test case which we were missing and caused this regression to slip through