Issues · rust-lang/trait-system-refactor-initiative · GitHub

[META] intended breakage
#211 · lcnr opened on May 21, 2025

Labels Milestones New issue

entering normalization where-bounds incorrectly considered non-productive

#273

· lcnr opened

on Apr 7, 2026

`ReShell` performance issue

#272

· lcnr opened

on Mar 20, 2026

opaque types: consider yeeting structural lookup

#271

· lcnr opened

on Mar 11, 2026

`StalledOnCoroutine` doesn't detect coroutine for deeply nested goals

#270

· lcnr opened

on Mar 2, 2026

old solver: check dyn compatability when normalizing

#269

· lcnr opened

on Feb 25, 2026

add a way to increase the recursion limit for downstream crates

#268

· lcnr opened

on Feb 16, 2026

hang with `rand` and opaque types

#267

· lcnr opened

on Feb 14, 2026

lazy param_env normalization causes ambiguity due to different region constraints

#265

· lcnr opened

on Feb 9, 2026

generalization doesn't immediately normalize aliases

A-normalization

#262

· lcnr opened

on Jan 21, 2026

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

#261

· lcnr opened

on Jan 20, 2026

move `TypeOutlives` normalization out of region checking again

#260

· lcnr opened

on Dec 30, 2025

different crates may get different results depending the `recursion_limit`

#258

· lcnr opened

on Nov 26, 2025