Issues

• Clean up early & late lifetime handling

  major-changemajor-change-acceptedT-typesto-announce
  rust-lang/types-team#133 · Filter by author oli-obk opened on May 12, 2026
  2

• unsound issues fun time

  deep-dive-proposalT-types
  rust-lang/types-team#125 · Filter by author lcnr opened on Nov 6, 2023
  1

• Full triage of all soundness issues

  roadmap-tracking-issue
  rust-lang/types-team#123 · Filter by author nikomatsakis opened on Oct 11, 2023 · Early 2024
  

• Implied bounds on higher-ranked binders

  roadmap-tracking-issue
  rust-lang/types-team#122 · Filter by author nikomatsakis opened on Oct 11, 2023 · Heat Death

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

  roadmap-tracking-issue
  rust-lang/types-team#121 · Filter by author nikomatsakis opened on Oct 11, 2023 · Heat Death

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

  roadmap-tracking-issue
  rust-lang/types-team#120 · Filter by author nikomatsakis opened on Oct 11, 2023 · Heat Death
  1

• Specialization

  roadmap-tracking-issue
  rust-lang/types-team#119 · Filter by author nikomatsakis opened on Oct 11, 2023 · Heat Death

• Perfect derive

  roadmap-tracking-issue
  rust-lang/types-team#118 · Filter by author nikomatsakis opened on Oct 11, 2023 · Heat Death

• Instantiate implied bounds explicitly

  roadmap-tracking-issue
  rust-lang/types-team#117 · Filter by author nikomatsakis opened on Oct 11, 2023 · Heat Death

• Coinduction

  roadmap-tracking-issue
  rust-lang/types-team#116 · Filter by author nikomatsakis opened on Oct 11, 2023 · Heat Death

• UnlimiTAIT

  roadmap-tracking-issue
  rust-lang/types-team#115 · Filter by author nikomatsakis opened on Oct 11, 2023 · Heat Death

• Location-sensitive polonius

  roadmap-tracking-issue
  rust-lang/types-team#114 · Filter by author nikomatsakis opened on Oct 11, 2023 · EOY 2024
  

• Support negative impls in coherence

  roadmap-tracking-issue
  rust-lang/types-team#113 · Filter by author nikomatsakis opened on Oct 11, 2023 · EOY 2024
  1

  

• Use the new trait solver in all the places

  roadmap-tracking-issue
  rust-lang/types-team#112 · Filter by author nikomatsakis opened on Oct 11, 2023 · EOY 2024
  1

  

• Enforce where-clauses on type aliases via alias type

  roadmap-tracking-issue
  rust-lang/types-team#111 · Filter by author nikomatsakis opened on Oct 11, 2023 · Edition 2024
  2

  

• RPIT capture all lifetimes

  roadmap-tracking-issue
  rust-lang/types-team#110 · Filter by author nikomatsakis opened on Oct 11, 2023 · Edition 2024
  1

  

• Prototype of Polonius

  roadmap-tracking-issue
  rust-lang/types-team#108 · Filter by author nikomatsakis opened on Oct 11, 2023 · Early 2024
  1

  

• Minimal version of TAITs

  roadmap-tracking-issue
  rust-lang/types-team#107 · Filter by author nikomatsakis opened on Oct 11, 2023 · Early 2024
  2

  

• "Semantic outlives" for opaque aliases

  roadmap-tracking-issue
  rust-lang/types-team#106 · Filter by author nikomatsakis opened on Oct 11, 2023 · Early 2024
  

• New solver in coherence

  roadmap-tracking-issue
  rust-lang/types-team#105 · Filter by author nikomatsakis opened on Oct 11, 2023 · Early 2024
  1

  

• Normalize in orphan check

  roadmap-tracking-issue
  rust-lang/types-team#104 · Filter by author nikomatsakis opened on Oct 11, 2023 · Early 2024
  2

  

• Model coherence in formality

  roadmap-tracking-issue
  rust-lang/types-team#103 · Filter by author nikomatsakis opened on Oct 11, 2023 · Early 2024
  

• 'erased during analysis

  deep-dive-proposalT-types
  rust-lang/types-team#101 · Filter by author lcnr opened on Oct 7, 2023

• dyn safety and coherence

  deep-dive-proposalT-types
  rust-lang/types-team#100 · Filter by author nikomatsakis opened on Sep 11, 2023

• discuss "incorrect implied bounds in wfcheck"

  deep-dive-proposalT-types
  rust-lang/types-team#99 · Filter by author nikomatsakis opened on Sep 11, 2023
  2