Search results

unsound issues fun time

deep-dive-proposalProposal for a deep-dive discussion meetingProposal for a deep-dive discussion meeting

T-typesAdd this label so rfcbot knows to poll the types teamAdd this label so rfcbot knows to poll the types team

Status: Open.

#125 In rust-lang/types-team;

· lcnr opened on Nov 6, 2023

<code>'erased</code> during analysis

deep-dive-proposalProposal for a deep-dive discussion meetingProposal for a deep-dive discussion meeting

T-typesAdd this label so rfcbot knows to poll the types teamAdd this label so rfcbot knows to poll the types team

Status: Open.

#101 In rust-lang/types-team;

· lcnr opened on Oct 7, 2023

dyn safety and coherence

deep-dive-proposalProposal for a deep-dive discussion meetingProposal for a deep-dive discussion meeting

T-typesAdd this label so rfcbot knows to poll the types teamAdd this label so rfcbot knows to poll the types team

Status: Open.

#100 In rust-lang/types-team;

· nikomatsakis opened on Sep 11, 2023

discuss "incorrect implied bounds in wfcheck"

deep-dive-proposalProposal for a deep-dive discussion meetingProposal for a deep-dive discussion meeting

T-typesAdd this label so rfcbot knows to poll the types teamAdd this label so rfcbot knows to poll the types team

Status: Open.

#99 In rust-lang/types-team;

· nikomatsakis opened on Sep 11, 2023

Deep dive for leak check/higher ranked fn ptr subtyping

deep-dive-proposalProposal for a deep-dive discussion meetingProposal for a deep-dive discussion meeting

T-typesAdd this label so rfcbot knows to poll the types teamAdd this label so rfcbot knows to poll the types team

Status: Open.

#96 In rust-lang/types-team;

· BoxyUwU opened on Jul 11, 2023

Specialization

deep-dive-proposalProposal for a deep-dive discussion meetingProposal for a deep-dive discussion meeting

T-typesAdd this label so rfcbot knows to poll the types teamAdd this label so rfcbot knows to poll the types team

Status: Open.

#89 In rust-lang/types-team;

· nikomatsakis opened on May 1, 2023

Coinductive trait semantics and normalization

deep-dive-proposalProposal for a deep-dive discussion meetingProposal for a deep-dive discussion meeting

T-typesAdd this label so rfcbot knows to poll the types teamAdd this label so rfcbot knows to poll the types team

Status: Open.

#83 In rust-lang/types-team;

· nikomatsakis opened on Feb 27, 2023

Negative trait impls check-in

deep-dive-proposalProposal for a deep-dive discussion meetingProposal for a deep-dive discussion meeting

T-typesAdd this label so rfcbot knows to poll the types teamAdd this label so rfcbot knows to poll the types team

Status: Open.

#82 In rust-lang/types-team;

· nikomatsakis opened on Feb 27, 2023

Account for late-bound lifetimes in generics #103448

deep-dive-proposalProposal for a deep-dive discussion meetingProposal for a deep-dive discussion meeting

T-typesAdd this label so rfcbot knows to poll the types teamAdd this label so rfcbot knows to poll the types team

Status: Open.

#62 In rust-lang/types-team;

· nikomatsakis opened on Nov 4, 2022

Closure return type outlives guarantees

deep-dive-proposalProposal for a deep-dive discussion meetingProposal for a deep-dive discussion meeting

Status: Open.

#57 In rust-lang/types-team;

· jackh726 opened on Oct 21, 2022

discuss the <code>trait_alias</code> feature

deep-dive-proposalProposal for a deep-dive discussion meetingProposal for a deep-dive discussion meeting

Status: Open.

#49 In rust-lang/types-team;

· lcnr opened on Jul 15, 2022

Variance and Rust

deep-dive-proposalProposal for a deep-dive discussion meetingProposal for a deep-dive discussion meeting

Status: Open.

#45 In rust-lang/types-team;

· nikomatsakis opened on May 27, 2022