Skip to content

Use the new trait solver in all the places #112

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom
Open
nikomatsakis opened this issue Oct 11, 2023 · 1 comment
Open

Use the new trait solver in all the places #112

nikomatsakis opened this issue Oct 11, 2023 · 1 comment
Assignees
@lcnr
Labels
roadmap-tracking-issue Tracks an item on our types team roadmap.
Milestone
EOY 2024

Comments

@nikomatsakis
Copy link
Contributor

No description provided.

@nikomatsakis nikomatsakis converted this from a draft issue Oct 11, 2023
@nikomatsakis nikomatsakis added this to the EOY 2024 milestone Oct 11, 2023
@nikomatsakis nikomatsakis added the roadmap-tracking-issue Tracks an item on our types team roadmap. label Oct 11, 2023
@nikomatsakis nikomatsakis mentioned this issue Oct 11, 2023
Open
@lcnr
Copy link
Contributor

lcnr commented Dec 4, 2023

update: currently focussing on stabilizing -Ztrait-solver=next-coherence first

@lcnr lcnr mentioned this issue Dec 4, 2023
Open
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@lcnr lcnr

Labels
roadmap-tracking-issue Tracks an item on our types team roadmap.
Projects
types team roadmap
Status: No status
Milestone
EOY 2024
Development

No branches or pull requests
2 participants
@nikomatsakis @lcnr