rust-lang/a-mir-formality

Convert `check_neg_trait_impl` to a judgment function 1 day ago

good first issue

348

a model of MIR and the Rust type/trait system

Rust

Inconsistent mutable reference syntax about 2 months ago

good first issue quality of life improvement

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Make sure we errror for type mismatch when nothing is returned 2 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Improve integer literal syntax (`0_u32` instead of `0 _ u32`) 3 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Fix `&mut` reference type syntax to match Rust (`&'a mut T`) 3 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Make `else` branch optional in `if` statements 3 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Discrepancy in test case `basic_where_clauses_pass` 3 months ago

bug good first issue formality-rust-discrepancy-triaged

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Convert `check_adt` to a judgment function 4 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Convert `check_trait` to a judgment function 6 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Cleanup: impl Upcast helper for NLL typed place expression construction 6 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Reject moves of borrowed places 6 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Cleanup: NLL mutable stack building pattern 6 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Convert `check_trait_impl` to a judgment function 6 months ago

enhancement good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Add support for auto traits 6 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Expand test coverage for Expr variants 6 months ago

enhancement good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Reject moves out of references 6 months ago

enhancement good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

closures -- how to model them 6 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Convert `check_fn` / `check_free_fn` to judgment functions 6 months ago

enhancement good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Convert `check_coherence` to a judgment function 6 months ago

enhancement good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Add borrow-check test coverage for `ExprData::Turbofish` 6 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Add borrow-check test coverage for `ExprData::Struct` 6 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Add type-check test coverage for `PlaceExprData::Parens` 6 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Add borrow-check test coverage for `ExprData::Call` 6 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Add type-check test coverage for `ExprData::True` 6 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Add type-check test coverage for `Stmt::If` 6 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Add test coverage for `ExprData::False` 6 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Fix "evaluted" typo in proof rules output 6 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Cleanup: change CoreFold output type to support folding reference tuples 6 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Cleanup: nicer pattern for Arc in #[term] types 7 months ago

good first issue

rust-lang/a-mir-formality

348

a model of MIR and the Rust type/trait system

Rust

Open Issues Need Help