Use multiple crates

[virgil-serbanuta]

No description provided.

[ACassimiro]

I'd like to highlight that this approach of having traits calling static functions should not work (on off-the-shelf Rust, at least). If I'm not mistaken, it'd trigger the cannot call associated function on trait without specifying the corresponding "impl" type error.

Even so, this would not prevent this program from being executed in our semantics.

Edit: The error above is for a static function in a trait. The scenario we test here would rather yield this error: expected function, tuple struct or tuple variant, found trait.

[virgil-serbanuta]

I'd like to highlight that this approach of having traits calling static functions should not work (on off-the-shelf Rust, at least). If I'm not mistaken, it'd trigger the cannot call associated function on trait without specifying the corresponding "impl" type error.

Even so, this would not prevent this program from being executed in our semantics.

Edit: The error above is for a static function in a trait. The scenario we test here would rather yield this error: expected function, tuple struct or tuple variant, found trait.

So, I know that this is an issue. As soon as you implement structs (if you do implement them), feel free to change the tests. However, note that, unless we stop automatically implementing storage (which is certainly an option), contracts must still be traits.