List view

Model coherence in formality

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

Status: Open.

#103 In rust-lang/types-team;

· nikomatsakis opened on Oct 11, 2023

Normalize in orphan check

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

Status: Open.

#104 In rust-lang/types-team;

· nikomatsakis opened on Oct 11, 2023

New solver in coherence

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

Status: Open.

#105 In rust-lang/types-team;

· nikomatsakis opened on Oct 11, 2023

"Semantic outlives" for opaque aliases

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

Status: Open.

#106 In rust-lang/types-team;

· nikomatsakis opened on Oct 11, 2023

Minimal version of TAITs

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

Status: Open.

#107 In rust-lang/types-team;

· nikomatsakis opened on Oct 11, 2023

Prototype of Polonius

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

Status: Open.

#108 In rust-lang/types-team;

· nikomatsakis opened on Oct 11, 2023

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