Unsupported Rust: const
inline blocks
#923
Labels
engine
Issue in the engine
keep-open
marked-unimplemented
Issue refered by `Unimplemented {issue_id...}` in the engine
unsupported-rust
Rust code rejected by hax. Unless marked wontfix, we want to support it soon.
The following code is not supported yet:
Open this code snippet in the playground
The text was updated successfully, but these errors were encountered: