Fix spec macros for mut self param - Githubissues

epfl-lara / rust-stainless

An experimental Rust frontend for Stainless

Apache License 2.0

6 stars 2 forks source link

Fix spec macros for mut self param #148

Closed yannbolliger closed 3 years ago

yannbolliger commented 3 years ago

Closes #145.

Move to own function.
Add test case.
Fix the bug.