Search results

The checks for is-implemented where clauses are too lax

Status: Open.

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

· mattheww opened on Jul 21, 2024

prove-normalize is incomplete in coherence mode

Status: Open.

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

· nikomatsakis opened on May 13, 2024

run to fixed point on ambiguity

Status: Open.

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

· nikomatsakis opened on May 13, 2024

inference is not generalizing in a complete way

Status: Open.

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

· nikomatsakis opened on May 13, 2024

formality-core parse should permit customizable "commit" point

Status: Open.

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

· nikomatsakis opened on Dec 16, 2023

Outlives vs Trait Goal Syntax Collision

Status: Open.

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

· compiler-errors opened on Oct 14, 2023

Compare unification with trait solver

Status: Open.

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

· nikomatsakis opened on Oct 9, 2023

Negative bounds (with feature gate)

Status: Open.

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

· yoshuawuyts opened on Jul 4, 2023

HRTB test cases from rust-lang/rust

Status: Open.

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

· nikomatsakis opened on Oct 21, 2022

Implementation of crate-item-ok-goal for function declarations differs from description

Status: Open.

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

· voidc opened on Sep 24, 2022

Well-formedness rules for fn-def types

Status: Open.

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

· nikomatsakis opened on Sep 14, 2022

modeling functions, function types, and early/late-bound regions

Status: Open.

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

· nikomatsakis opened on Sep 14, 2022