Search results

Full triage of all soundness issues

roadmap-tracking-issueTracks an item on our types team roadmap.Tracks an item on our types team roadmap.

Status: Open.

#123 In rust-lang/types-team;

· nikomatsakis opened on Oct 11, 2023

 ·  

Early 2024

Implied bounds on higher-ranked binders

roadmap-tracking-issueTracks an item on our types team roadmap.Tracks an item on our types team roadmap.

Status: Open.

#122 In rust-lang/types-team;

· nikomatsakis opened on Oct 11, 2023

 ·  

Heat Death

Avoid bounding impl trait return type by all input type parameters using existential lifetimes

roadmap-tracking-issueTracks an item on our types team roadmap.Tracks an item on our types team roadmap.

Status: Open.

#121 In rust-lang/types-team;

· nikomatsakis opened on Oct 11, 2023

 ·  

Heat Death

Avoid inference guessing in trait solver (e.g., favoring where-clauses over impls)

roadmap-tracking-issueTracks an item on our types team roadmap.Tracks an item on our types team roadmap.

Status: Open.

#120 In rust-lang/types-team;

· nikomatsakis opened on Oct 11, 2023

 ·  

Heat Death

Specialization

roadmap-tracking-issueTracks an item on our types team roadmap.Tracks an item on our types team roadmap.

Status: Open.

#119 In rust-lang/types-team;

· nikomatsakis opened on Oct 11, 2023

 ·  

Heat Death

Perfect derive

roadmap-tracking-issueTracks an item on our types team roadmap.Tracks an item on our types team roadmap.

Status: Open.

#118 In rust-lang/types-team;

· nikomatsakis opened on Oct 11, 2023

 ·  

Heat Death

Instantiate implied bounds explicitly

roadmap-tracking-issueTracks an item on our types team roadmap.Tracks an item on our types team roadmap.

Status: Open.

#117 In rust-lang/types-team;

· nikomatsakis opened on Oct 11, 2023

 ·  

Heat Death

Coinduction

roadmap-tracking-issueTracks an item on our types team roadmap.Tracks an item on our types team roadmap.

Status: Open.

#116 In rust-lang/types-team;

· nikomatsakis opened on Oct 11, 2023

 ·  

Heat Death

UnlimiTAIT

roadmap-tracking-issueTracks an item on our types team roadmap.Tracks an item on our types team roadmap.

Status: Open.

#115 In rust-lang/types-team;

· nikomatsakis opened on Oct 11, 2023

 ·  

Heat Death

Location-sensitive polonius

roadmap-tracking-issueTracks an item on our types team roadmap.Tracks an item on our types team roadmap.

Status: Open.

#114 In rust-lang/types-team;

· nikomatsakis opened on Oct 11, 2023

 ·  

EOY 2024

Support negative impls in coherence

roadmap-tracking-issueTracks an item on our types team roadmap.Tracks an item on our types team roadmap.

Status: Open.

#113 In rust-lang/types-team;

· nikomatsakis opened on Oct 11, 2023

 ·  

EOY 2024

Use the new trait solver in all the places

roadmap-tracking-issueTracks an item on our types team roadmap.Tracks an item on our types team roadmap.

Status: Open.

#112 In rust-lang/types-team;

· nikomatsakis opened on Oct 11, 2023

 ·  

EOY 2024