-
Notifications
You must be signed in to change notification settings - Fork 19
Issues: rust-lang/types-team
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
TypingMode
final-comment-period
#128
opened Nov 4, 2024 by
lcnr
1 of 3 tasks
unsound issues fun time
deep-dive-proposal
Proposal for a deep-dive discussion meeting
T-types
Add this label so rfcbot knows to poll the types team
#125
opened Nov 6, 2023 by
lcnr
Implied bounds on higher-ranked binders
roadmap-tracking-issue
Tracks an item on our types team roadmap.
Avoid bounding impl trait return type by all input type parameters using existential lifetimes
roadmap-tracking-issue
Tracks an item on our types team roadmap.
Avoid inference guessing in trait solver (e.g., favoring where-clauses over impls)
roadmap-tracking-issue
Tracks an item on our types team roadmap.
Instantiate implied bounds explicitly
roadmap-tracking-issue
Tracks an item on our types team roadmap.
'erased
during analysis
deep-dive-proposal
#101
opened Oct 7, 2023 by
lcnr
dyn safety and coherence
deep-dive-proposal
Proposal for a deep-dive discussion meeting
T-types
Add this label so rfcbot knows to poll the types team
#100
opened Sep 11, 2023 by
nikomatsakis
discuss "incorrect implied bounds in wfcheck"
deep-dive-proposal
Proposal for a deep-dive discussion meeting
T-types
Add this label so rfcbot knows to poll the types team
#99
opened Sep 11, 2023 by
nikomatsakis
Deep dive for leak check/higher ranked fn ptr subtyping
deep-dive-proposal
Proposal for a deep-dive discussion meeting
T-types
Add this label so rfcbot knows to poll the types team
#96
opened Jul 11, 2023 by
BoxyUwU
Specialization
deep-dive-proposal
Proposal for a deep-dive discussion meeting
T-types
Add this label so rfcbot knows to poll the types team
#89
opened May 1, 2023 by
nikomatsakis
Coinductive trait semantics and normalization
deep-dive-proposal
Proposal for a deep-dive discussion meeting
T-types
Add this label so rfcbot knows to poll the types team
#83
opened Feb 27, 2023 by
nikomatsakis
Negative trait impls check-in
deep-dive-proposal
Proposal for a deep-dive discussion meeting
T-types
Add this label so rfcbot knows to poll the types team
#82
opened Feb 27, 2023 by
nikomatsakis
Tracking issue for rust trait solver refactor
roadmap-tracking-issue
Tracks an item on our types team roadmap.
#76
opened Nov 21, 2022 by
jackh726
Tracking issue for negative impls
roadmap-tracking-issue
Tracks an item on our types team roadmap.
#73
opened Nov 21, 2022 by
jackh726
Tracking issue for trait object upcasting
roadmap-tracking-issue
Tracks an item on our types team roadmap.
#72
opened Nov 21, 2022 by
jackh726
Tracking issue for implied bounds refactor
roadmap-tracking-issue
Tracks an item on our types team roadmap.
#71
opened Nov 21, 2022 by
jackh726
Tracking issue for subtyping refactor
roadmap-tracking-issue
Tracks an item on our types team roadmap.
#70
opened Nov 21, 2022 by
jackh726
Tracking issue for a-mir-formality
roadmap-tracking-issue
Tracks an item on our types team roadmap.
#69
opened Nov 21, 2022 by
jackh726
Tracking issue for GATs
roadmap-tracking-issue
Tracks an item on our types team roadmap.
#68
opened Nov 21, 2022 by
jackh726
Tracking issue for TAITs
roadmap-tracking-issue
Tracks an item on our types team roadmap.
#67
opened Nov 21, 2022 by
jackh726
Previous Next
ProTip!
no:milestone will show everything without a milestone.