Unsupported Rust: never patterns (nightly) #927
Labels
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.
wontfix
This will not be worked on
Never patterns is nightly, we don't plan on supporting that.
Open this code snippet in the playground
The text was updated successfully, but these errors were encountered: