GitHub · Where software is built

Labels Milestones New issue

"let ... else" does not get #[specr::indirection] treatment

#9

· RalfJung opened

on May 21, 2024

specr-transpile: Indexing a `List` in `assert_eq!()` does not desugar to `.index_at(...)`

#7

· essickmango opened

on Nov 11, 2023