4 ms·
What I think might be useful is something like the Rust borrow checker but it would be a currency ownership checker which would check for currency ownership at
by fabrizioc1 10y ago
What I think might be useful is something like the Rust borrow checker but it would be a currency ownership checker which would check for currency ownership at compile time.
- viraptor 10y agoThat doesn't really apply here. The code and runtime is correct as in: no coins were generated or disappeared, nobody directly reassigned coins, etc. This was simply a logic error - the code followed the legal/known path all the time. Rust can be great for many things, but it can't tell you "this code does not do what you think you wanted".