Skip to content

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.

Sign up for GitHub

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

48 Open 53 Closed
48 Open 53 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Add unsafe binder types to the compiler final-comment-period The FCP has started, most (if not all) team members are in agreement major-change A major change proposal T-types Add this label so rfcbot knows to poll the types team to-announce Announce this issue on triage meeting
#127 opened Sep 19, 2024 by compiler-errors
1 of 3 tasks
2
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
1
Full triage of all soundness issues roadmap-tracking-issue Tracks an item on our types team roadmap.
#123 opened Oct 11, 2023 by nikomatsakis Early 2024
@nikomatsakis
Implied bounds on higher-ranked binders roadmap-tracking-issue Tracks an item on our types team roadmap.
#122 opened Oct 11, 2023 by nikomatsakis Heat Death
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.
#121 opened Oct 11, 2023 by nikomatsakis Heat Death
Avoid inference guessing in trait solver (e.g., favoring where-clauses over impls) roadmap-tracking-issue Tracks an item on our types team roadmap.
#120 opened Oct 11, 2023 by nikomatsakis Heat Death
1
Specialization roadmap-tracking-issue Tracks an item on our types team roadmap.
#119 opened Oct 11, 2023 by nikomatsakis Heat Death
Perfect derive roadmap-tracking-issue Tracks an item on our types team roadmap.
#118 opened Oct 11, 2023 by nikomatsakis Heat Death
Instantiate implied bounds explicitly roadmap-tracking-issue Tracks an item on our types team roadmap.
#117 opened Oct 11, 2023 by nikomatsakis Heat Death
Coinduction roadmap-tracking-issue Tracks an item on our types team roadmap.
#116 opened Oct 11, 2023 by nikomatsakis Heat Death
UnlimiTAIT roadmap-tracking-issue Tracks an item on our types team roadmap.
#115 opened Oct 11, 2023 by nikomatsakis Heat Death
Location-sensitive polonius roadmap-tracking-issue Tracks an item on our types team roadmap.
#114 opened Oct 11, 2023 by nikomatsakis EOY 2024
@nikomatsakis
Support negative impls in coherence roadmap-tracking-issue Tracks an item on our types team roadmap.
#113 opened Oct 11, 2023 by nikomatsakis EOY 2024
@nikomatsakis
1
Use the new trait solver in all the places roadmap-tracking-issue Tracks an item on our types team roadmap.
#112 opened Oct 11, 2023 by nikomatsakis EOY 2024
@lcnr
1
Enforce where-clauses on type aliases via alias type roadmap-tracking-issue Tracks an item on our types team roadmap.
#111 opened Oct 11, 2023 by nikomatsakis Edition 2024
@rust-lang-owner
2
RPIT capture all lifetimes roadmap-tracking-issue Tracks an item on our types team roadmap.
#110 opened Oct 11, 2023 by nikomatsakis Edition 2024
@oli-obk
1
Prototype of Polonius roadmap-tracking-issue Tracks an item on our types team roadmap.
#108 opened Oct 11, 2023 by nikomatsakis Early 2024
@nikomatsakis
1
Minimal version of TAITs roadmap-tracking-issue Tracks an item on our types team roadmap.
#107 opened Oct 11, 2023 by nikomatsakis Early 2024
@oli-obk
2
"Semantic outlives" for opaque aliases roadmap-tracking-issue Tracks an item on our types team roadmap.
#106 opened Oct 11, 2023 by nikomatsakis Early 2024
@compiler-errors
New solver in coherence roadmap-tracking-issue Tracks an item on our types team roadmap.
#105 opened Oct 11, 2023 by nikomatsakis Early 2024
@lcnr
1
Normalize in orphan check roadmap-tracking-issue Tracks an item on our types team roadmap.
#104 opened Oct 11, 2023 by nikomatsakis Early 2024
1
@lcnr
2
Model coherence in formality roadmap-tracking-issue Tracks an item on our types team roadmap.
#103 opened Oct 11, 2023 by nikomatsakis Early 2024
@nikomatsakis
'erased during analysis deep-dive-proposal Proposal for a deep-dive discussion meeting T-types Add this label so rfcbot knows to poll the types team
#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
2
ProTip! Type g i on any issue or pull request to go back to the issue listing page.