- 
                Notifications
    You must be signed in to change notification settings 
- Fork 13.9k
Open
Labels
A-mir-optArea: MIR optimizationsArea: MIR optimizationsC-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCCategory: An issue tracking the progress of sth. like the implementation of an RFCT-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.T-libsRelevant to the library team, which will review and decide on the PR/issue.Relevant to the library team, which will review and decide on the PR/issue.WG-mir-optWorking group: MIR optimizationsWorking group: MIR optimizations
Description
For rust-lang/compiler-team#807
Steps:
- Update the standard library to stop doing this
-  Update the compiler to stop doing this
- PlaceElem::Field(FieldIdx::ZERO, ptr_ty), 
- Transmute from NonNull to pointer when elaborating a box deref (MCP807) #135182
- Don't project into NonNullwhen dropping aBox#137112
- …
 
- Add MIR-opts for any new patterns that show up from doing this
-  Ban it in the MIR validator
- …
 
-  Update MIR-opts to be more willing to merge projections and such
- sroa::escaping_localscan stop looking at layout, for example
- …
 
SEO: rustc_layout_scalar_valid_range_start rustc_layout_scalar_valid_range_end NonZero NonNull "pattern types".
Metadata
Metadata
Assignees
Labels
A-mir-optArea: MIR optimizationsArea: MIR optimizationsC-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCCategory: An issue tracking the progress of sth. like the implementation of an RFCT-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.T-libsRelevant to the library team, which will review and decide on the PR/issue.Relevant to the library team, which will review and decide on the PR/issue.WG-mir-optWorking group: MIR optimizationsWorking group: MIR optimizations