Search results

wfcheck checks where-clauses post normalization

Status: Open.

#255 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Nov 4, 2025

crater very bad perf :3

from-craterA regression found via a crater run, not part of our test suiteA regression found via a crater run, not part of our test suite

Status: Open.

#254 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Oct 31, 2025

normalization no longer prefers object bound over user written impls

from-craterA regression found via a crater run, not part of our test suiteA regression found via a crater run, not part of our test suite

Status: Open.

#253 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Oct 31, 2025

<code>fn fudge_inference_if_ok</code> can result in unnormalizeable aliases

from-craterA regression found via a crater run, not part of our test suiteA regression found via a crater run, not part of our test suite

Status: Open.

#252 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Oct 31, 2025

ICE from mir validation on unsizing in opendal

from-craterA regression found via a crater run, not part of our test suiteA regression found via a crater run, not part of our test suite

Status: Open.

#251 In rust-lang/trait-system-refactor-initiative;

· jdonszelmann opened on Oct 23, 2025

subtype obligations drop nested WF obligations required due to bivariant args

from-craterA regression found via a crater run, not part of our test suiteA regression found via a crater run, not part of our test suite

Status: Open.

#250 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Oct 23, 2025

unevaluated consts in param_env query cycle

from-craterA regression found via a crater run, not part of our test suiteA regression found via a crater run, not part of our test suite

Status: Open.

#249 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Oct 23, 2025

unconstrained assoc type of opaque type inference regression

from-craterA regression found via a crater run, not part of our test suiteA regression found via a crater run, not part of our test suite

Status: Open.

#248 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Oct 20, 2025

<code>ml-kem-0.2.1</code> incorrect overflow error

from-craterA regression found via a crater run, not part of our test suiteA regression found via a crater run, not part of our test suite

Status: Open.

#246 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Oct 2, 2025

<code>thirtyfour</code> non-<code>Send</code> witness regression

from-craterA regression found via a crater run, not part of our test suiteA regression found via a crater run, not part of our test suite

Status: Open.

#245 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Oct 2, 2025

non-defining uses result in closures with non-identity args in a body

Status: Open.

#243 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Sep 29, 2025

higher-ranked opaque type goals are scuffed

Status: Open.

#242 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Sep 29, 2025