Open Issues Need Help
View All on GitHub good first issue
good first issue
good first issue
Make `else` branch optional in `if` statements 12 days ago
good first issue
Discrepancy in test case `basic_where_clauses_pass` about 1 month ago
bug good first issue formality-rust-discrepancy-triaged
Convert `check_neg_trait_impl` to a judgment function about 2 months ago
good first issue
Convert `check_adt` to a judgment function 2 months ago
good first issue
Convert `check_trait` to a judgment function 3 months ago
good first issue
good first issue
Reject moves of borrowed places 3 months ago
good first issue
Cleanup: NLL mutable stack building pattern 3 months ago
good first issue
Convert `check_trait_impl` to a judgment function 3 months ago
enhancement good first issue
Add support for auto traits 4 months ago
good first issue
Expand test coverage for Expr variants 4 months ago
enhancement good first issue
Reject moves out of references 4 months ago
enhancement good first issue
closures -- how to model them 4 months ago
good first issue
enhancement good first issue
Convert `check_coherence` to a judgment function 4 months ago
enhancement good first issue
good first issue
good first issue
good first issue
Add borrow-check test coverage for `ExprData::Call` 4 months ago
good first issue
Add type-check test coverage for `ExprData::True` 4 months ago
good first issue
Add type-check test coverage for `Stmt::If` 4 months ago
good first issue
Add test coverage for `ExprData::False` 4 months ago
good first issue
Fix "evaluted" typo in proof rules output 4 months ago
good first issue
good first issue
Cleanup: nicer pattern for Arc in #[term] types 5 months ago
good first issue