-
-
Notifications
You must be signed in to change notification settings - Fork 14.7k
Tracking issue for banning field projecting into [rustc_layout_scalar_valid_range_*] types (MCP807) #133652
Copy link
Copy link
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
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
Type
Fields
Give feedbackNo fields configured for issues without a type.
For rust-lang/compiler-team#807
Steps:
NonZeroandNonNullto not field-project (per MCP#807) #133651rust/compiler/rustc_mir_transform/src/elaborate_box_derefs.rs
Line 37 in 490b2cc
NonNullwhen dropping aBox#137112sroa::escaping_localscan stop looking at layout, for exampleSEO:
rustc_layout_scalar_valid_range_startrustc_layout_scalar_valid_range_endNonZeroNonNull"pattern types".