Closed compiler-errors closed 9 months 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
@rustbot second
Closing as accepted.
Proposal
I propose the following changes that will have a large footprint, but will ultimately simplify
rustc_type_ir
migration:Get rid of
TypeAndMut
and just have the tykind variant beRawPtr(Ty, Mutability)
, like how refs are justRef(Region, Ty, Mutability)
.Remove the type system's dependency on
hir::Mutability
andhir::Movability
and copy both of these enums intorustc_type_ir
(will require converting betweenhir::Mutability
andty::Mutability
during astconv).Mentors or Reviewers
I'll make the changes.
Process
The main points of the Major Change Process are as follows:
@rustbot second
.-C flag
, then full team check-off is required.@rfcbot fcp merge
on either the MCP or the PR.You can read more about Major Change Proposals on forge.
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, indicating that you second the proposal (or third, etc), or raising a concern that you would like to be addressed.