Frontend: add support for GAT
s
#915
Labels
frontend
Issue in the Rust to JSON translation
unsupported-rust
Rust code rejected by hax. Unless marked wontfix, we want to support it soon.
https://blog.rust-lang.org/2022/10/28/gats-stabilization.html
The text was updated successfully, but these errors were encountered: