FnMut
closures are not supported yet
#1060
Labels
bug
Something isn't working
engine
Issue in the engine
unsupported-rust
Rust code rejected by hax. Unless marked wontfix, we want to support it soon.
In the code below, the
test_fails
functions throws errors, whiletest_works
is fine.Open this code snippet in the playground
The text was updated successfully, but these errors were encountered: