Search results

<code>PostAnalysis</code> mode no longer eagerly reveals opaque types

S-increased-expressiveness

Status: Open.

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

· lcnr opened on Jan 29, 2025

<code>fn match_fresh_trait_refs</code> removal

A-overflowHaving to do with overflowHaving to do with overflow

S-increased-expressiveness

Status: Open.

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

· lcnr opened on Aug 7, 2023

stronger leak-check

S-increased-expressiveness

Status: Open.

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

· aliemjay opened on Jun 23, 2023

impls with higher ranked projections are now usable

A-normalization

S-increased-expressiveness

Status: Open.

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

· lcnr opened on Apr 17, 2023