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

Clear current search query, filters, and sorts
30 Open 6 Closed
30 Open 6 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

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
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
1
Tracking issue for negative impls roadmap-tracking-issue Tracks an item on our types team roadmap.
#73 opened Nov 21, 2022 by jackh726
2
Tracking issue for trait object upcasting roadmap-tracking-issue Tracks an item on our types team roadmap.
#72 opened Nov 21, 2022 by jackh726
1
Tracking issue for implied bounds refactor roadmap-tracking-issue Tracks an item on our types team roadmap.
#71 opened Nov 21, 2022 by jackh726
1
Tracking issue for subtyping refactor roadmap-tracking-issue Tracks an item on our types team roadmap.
#70 opened Nov 21, 2022 by jackh726
1
ProTip! Add no:assignee to see everything that’s not assigned.