a-mir-formality
Rust Mediumrust-lang/a-mir-formality
337 stars
57 forks
21 open issues
Active Mar 2026
Beginner-Friendly Issues 21
Issues tagged for new contributors
Reject moves of borrowed places
#298 · Mar 30, 2026
enhancement good first issue
Reject moves out of references
#297 · Mar 30, 2026
enhancement good first issue
Track initialization and moves in the borrow checker
#296 · Mar 30, 2026
enhancement good next project
Convert `check_coherence` to a judgment function
#294 · Mar 30, 2026
enhancement good first issue
Convert `check_fn` / `check_free_fn` to judgment functions
#293 · Mar 30, 2026
enhancement good first issue
Convert `check_adt` to a judgment function
#292 · Mar 30, 2026
enhancement good first issue
Convert `check_neg_trait_impl` to a judgment function
#291 · Mar 30, 2026
enhancement good first issue
Convert `check_trait_impl` to a judgment function
#290 · Mar 30, 2026
enhancement good first issue
Convert `check_trait` to a judgment function
#289 · Mar 30, 2026
enhancement good first issue
Convert check functions to judgment functions
#288 · Mar 30, 2026
enhancement meta
Add borrow-check test coverage for `ExprData::Struct`
#272 · Mar 27, 2026
good first issue
Add borrow-check test coverage for `ExprData::Turbofish`
#271 · Mar 27, 2026
good first issue
Add borrow-check test coverage for `ExprData::Call`
#270 · Mar 27, 2026
good first issue
Add type-check test coverage for `PlaceExprData::Parens`
#269 · Mar 27, 2026
good first issue
Add type-check test coverage for `ExprData::True`
#268 · Mar 27, 2026
good first issue
Add type-check test coverage for `Stmt::If`
#267 · Mar 27, 2026
good first issue
Add test coverage for `ExprData::False`
#266 · Mar 27, 2026
good first issue
Expand test coverage for Expr variants
#265 · Mar 27, 2026
enhancement good first issue
Fix "evaluted" typo in proof rules output
#264 · Mar 27, 2026
good first issue
Check variable initialization
#254 · Mar 18, 2026
Add back limitations to more accurately model NLLs
#253 · Mar 13, 2026