Closed lcnr closed 2 years ago
This issue is not meant to be used for technical discussion. There is a Zulip stream for that. Use this issue to leave procedural comments, such as volunteering to review, indicating that you second the proposal (or third, etc), or raising a concern that you would like to be addressed.
cc @rust-lang/types
@rfcbot fcp merge
@rfcbot ping
@rfcbot fcp merge
rfcbot needs explicit labels and otherwise just silently fails apparently?
@rfcbot fcp merge
tragic, maybe with a final-comment-period
and disposition-merge
label as well
@rfcbot fcp merge
proposed-final-comment-period
:(
@rfcbot fcp merge
@rfcbot poll test
@rfcbot poll types test
Team member @lcnr has proposed to merge this. The next step is review by the rest of the tagged team members:
No concerns currently listed.
Once a majority of reviewers approve (and at most 2 approvals are outstanding), this will enter its final comment period. If you spot a major issue that hasn't been raised at any point in this process, please speak up!
See this document for info about what commands tagged team members can give me.
Team member @lcnr has asked teams: T-types, for consensus on:
test
Team member @lcnr has asked teams: T-types, for consensus on:
test
other Types Team members depending on interest.
You already know that I'm interested :smiley:
other Types Team members depending on interest.
I'm interested too :)
other Types Team members depending on interest.
Do you accept out of types team also? I'd be interested.
other Types Team members depending on interest.
Do you accept out of types team also? I'd be interested.
Of course :)
I'd also be interested in helping with this
@rfcbot reviewed
Looks like to have my interest too :)
:bell: This is now entering its final comment period, as per the review above. :bell:
psst @lcnr, I wasn't able to add the final-comment-period
label, please do so.
The final comment period, with a disposition to merge, as per the review above, is now complete.
As the automated representative of the governance process, I would like to thank the author for their work and everyone else who contributed.
This will be merged soon.
psst @lcnr, I wasn't able to add the finished-final-comment-period
label, please do so.
Closing as accepted 🙂
Proposal
Start an initiative with the goal of replacing the current trait system implementation of rustc. This new implementation should fully replace both
fulfill
andevaluate
and offer an API a lot closer to the ideal of chalk/a-mir-formality.Goals of this initiative
[^1]: currently different
FnCtxt
andObligationCtxt
do not share a cache forfulfill
and also don't share it with mir borrowck.Explicit non-goals of this initiative
This initiative does not intend to implement any major changes to the trait system as part of the replacement. The new replacement should closely mirror the old system at the time of replacement to minimize the risk of backwards compatibility issues.
We also do not intend to extract any shared code with rust-analyzer as part of this initiative. While that will be easier after this work has been completed, the sole focus of this initiative is to replace the existing solvers with a solver which results in the advantages noted above.
Outline of the planned work
Start by clearly laying out how the compiler uses the existing trait solvers and what API has to be provided by the new solver.
Any parts strongly tied to the architecture of the current solvers have to be rewritten where possible. The biggest challenge will be trait diagnostics, which should be rewritten to be as solver agnostic as possible. Instead of relying on solver internals, diagnostics should lazily recompute necessary information where possible. This may require a reimplementation of our trait diagnostics to replace the existing one.
Once this is done, work on a new solver directly in rustc to replace both
evaluate
andfulfill
. When that solver is ready, replace all uses of evaluate and fulfill with the new solver and remove evaluate and fulfill. At that point this initiative can be closed again.For more information, see this document
Initial members
@lcnr as lead, other Types Team members depending on interest.
Comments
This issue is not meant to be used for technical discussion. There is a Zulip stream for that. Use this issue to leave procedural comments, such as volunteering to review or raising a concern that you would like to be addressed.