Issues

• lattices crater run memory and runtime regression

  rust-lang/trait-system-refactor-initiative#308 · Filter by author sjwang05 opened on Oct 12, 2026
  1

• codegen_select_candidate overflows

  rust-lang/trait-system-refactor-initiative#306 · Filter by author lcnr opened on Oct 8, 2026

• leak check ignoring region constraints from normalization is sus

  rust-lang/trait-system-refactor-initiative#305 · Filter by author lcnr opened on Oct 7, 2026

• lending iterators are busted with the new solver

  rust-lang/trait-system-refactor-initiative#302 · Filter by author lcnr opened on Oct 2, 2026

• stabilization what to do: stabby stab stab

  rust-lang/trait-system-refactor-initiative#301 · Filter by author lcnr opened on Sep 30, 2026
  1

• unconstrained assoc of opaque non-self item bounds regression

  rust-lang/trait-system-refactor-initiative#300 · Filter by author lcnr opened on Sep 30, 2026

• method selection allows trait solver changes to change runtime behavior

  rust-lang/trait-system-refactor-initiative#298 · Filter by author lcnr opened on Aug 27, 2026

• method selection allows constraining non-self type opaque types

  rust-lang/trait-system-refactor-initiative#297 · Filter by author lcnr opened on Aug 25, 2026

• TAIT results in non-rigid alias in TypeOutlives param env clauses

  rust-lang/trait-system-refactor-initiative#293 · Filter by author lcnr opened on Jul 31, 2026
  1

• slow tests/ui/type-alias-impl-trait/match-upvar-discriminant-of-opaque.rs

  rust-lang/trait-system-refactor-initiative#291 · Filter by author matthiaskrgr opened on Jul 29, 2026
  1

• higher-ranked region errors are pretty bad

  rust-lang/trait-system-refactor-initiative#290 · Filter by author lcnr opened on Jul 29, 2026

• feature(type_alias_impl_trait): error: item does not constrain Foo::{opaque#0}

  rust-lang/trait-system-refactor-initiative#288 · Filter by author matthiaskrgr opened on Jul 27, 2026
  1

• discarding method selection candidates which constrain opaque types

  rust-lang/trait-system-refactor-initiative#285 · Filter by author matthiaskrgr opened on Jul 24, 2026
  1

• cannot be sent between threads safely

  rust-lang/trait-system-refactor-initiative#284 · Filter by author matthiaskrgr opened on Jul 24, 2026
  2

• [POST MERGE] rework non-fatal overflow handling to not depend on recursion depth

  rust-lang/trait-system-refactor-initiative#278 · Filter by author lcnr opened on Jul 16, 2026
  1

• ml-kem: dividing available depth for following goals can result in incorrect overflow error

  rust-lang/trait-system-refactor-initiative#276 · Filter by author lcnr opened on May 7, 2026
  2

• binius_field overflow errors

  rust-lang/trait-system-refactor-initiative#274 · Filter by author lcnr opened on Apr 28, 2026
  4

• ReShell performance issue

  A-performance
  rust-lang/trait-system-refactor-initiative#272 · Filter by author lcnr opened on Mar 20, 2026
  4

• opaque types: consider yeeting structural lookup

  rust-lang/trait-system-refactor-initiative#271 · Filter by author lcnr opened on Mar 11, 2026
  7

  

• T: Unsize<?infer> doesn't force the goal to be ambig, uses where-bounds

  rust-lang/trait-system-refactor-initiative#261 · Filter by author lcnr opened on Jan 20, 2026
  4

• different crates may get different results depending the recursion_limit

  rust-lang/trait-system-refactor-initiative#258 · Filter by author lcnr opened on Nov 26, 2025

• normalization no longer prefers object bound over user written impls

  from-crater
  rust-lang/trait-system-refactor-initiative#253 · Filter by author lcnr opened on Oct 31, 2025
  1

• unconstrained assoc type of opaque type inference regression

  from-crater
  rust-lang/trait-system-refactor-initiative#248 · Filter by author lcnr opened on Oct 20, 2025
  3

  

• ml-kem-0.2.1 incorrect overflow error

  from-crater
  rust-lang/trait-system-refactor-initiative#246 · Filter by author lcnr opened on Oct 2, 2025
  35

• higher-ranked opaque type goals are scuffed

  rust-lang/trait-system-refactor-initiative#242 · Filter by author lcnr opened on Sep 29, 2025
  4