Unsupported rust: associated type defaults (nightly) #929
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-v1
This will not be worked on, but might after v1.
We don't support associated types with defaults.
Open this code snippet in the playground
The text was updated successfully, but these errors were encountered: