All issues

Search results

Implied bounds for fn from normalized type

Status: Open.

#437 In rust-lang/a-mir-formality;

· kirloo opened on Jul 17, 2026

Support binary and unary operators (+, +=, etc.)

good next projectMedium complexity — good after a first issueMedium complexity — good after a first issue

Status: Open.

#428 In rust-lang/a-mir-formality;

· nikomatsakis opened on Jul 8, 2026

Drop: model drop elaboration in codegen

so you want a challengeChallenging projects for people who are committed.Challenging projects for people who are committed.

Status: Open.

#425 In rust-lang/a-mir-formality;

· nikomatsakis opened on Jul 8, 2026

Drop: model #[may_dangle] / dropck eyepatch

so you want a challengeChallenging projects for people who are committed.Challenging projects for people who are committed.

Status: Open.

#424 In rust-lang/a-mir-formality;

· nikomatsakis opened on Jul 8, 2026

Drop: detect implicit use at scope exit (drop glue)

so you want a challengeChallenging projects for people who are committed.Challenging projects for people who are committed.

Status: Open.

#423 In rust-lang/a-mir-formality;

· nikomatsakis opened on Jul 8, 2026

Umbrella: Model the Drop trait

metaA tracking issue (an issue about issues)A tracking issue (an issue about issues)

Status: Open.

#420 In rust-lang/a-mir-formality;

· nikomatsakis opened on Jul 8, 2026

Add mut declarations and mutable-place checks

good next projectMedium complexity — good after a first issueMedium complexity — good after a first issue

Status: Open.

#419 In rust-lang/a-mir-formality;

· nikomatsakis opened on Jul 8, 2026

Clean up prove::prove::prove module nesting

good next projectMedium complexity — good after a first issueMedium complexity — good after a first issue

Status: Open.

#418 In rust-lang/a-mir-formality;

· nikomatsakis opened on Jul 8, 2026

Consolidate Wc, WhereClause, Predicate, and Relation

good next projectMedium complexity — good after a first issueMedium complexity — good after a first issue

Status: Open.

#417 In rust-lang/a-mir-formality;

· nikomatsakis opened on Jul 8, 2026

Refactor type inference to use env-based partial substitution

good next projectMedium complexity — good after a first issueMedium complexity — good after a first issue

Status: Open.

#416 In rust-lang/a-mir-formality;

· nikomatsakis opened on Jul 8, 2026

Umbrella: Cleanup and refactoring

metaA tracking issue (an issue about issues)A tracking issue (an issue about issues)

Status: Open.

#415 In rust-lang/a-mir-formality;

· nikomatsakis opened on Jul 8, 2026

Umbrella: Borrow checker completeness

metaA tracking issue (an issue about issues)A tracking issue (an issue about issues)

Status: Open.

#414 In rust-lang/a-mir-formality;

· nikomatsakis opened on Jul 8, 2026