Skip to content

Commit

Permalink
Auto merge of rust-lang#97281 - est31:remove_box, r=compiler-errors
Browse files Browse the repository at this point in the history
Remove box syntax from rustc_mir_dataflow and rustc_mir_transform

Continuation of rust-lang#87781, inspired by rust-lang#97239. The usages that this PR removes have not appeared from nothing, instead the usage in `rustc_mir_dataflow` and `rustc_mir_transform` was from rust-lang#80522 which split up `rustc_mir`, and which was filed before I filed rust-lang#87781, so it was using the state from before my PR. But it was merged after my PR was merged, so the `box_syntax` uses were able to survive here. Outside of this introduction due to the code being outside of the master branch at the point of merging of my PR, there was only one other introduction of box syntax, in rust-lang#95159. That box syntax was removed again though in rust-lang#95555. Outside of that, `box_syntax` has not made its reoccurrance in compiler crates.
  • Loading branch information
bors committed May 22, 2022
2 parents 0a437b2 + 99603ef commit b2eed72
Show file tree
Hide file tree
Showing 4 changed files with 5 additions and 6 deletions.
1 change: 0 additions & 1 deletion compiler/rustc_mir_dataflow/src/lib.rs
Original file line number Diff line number Diff line change
@@ -1,6 +1,5 @@
#![feature(associated_type_defaults)]
#![feature(box_patterns)]
#![feature(box_syntax)]
#![feature(exact_size_is_empty)]
#![feature(let_else)]
#![feature(min_specialization)]
Expand Down
4 changes: 2 additions & 2 deletions compiler/rustc_mir_transform/src/instcombine.rs
Original file line number Diff line number Diff line change
Expand Up @@ -192,12 +192,12 @@ impl<'tcx> InstCombineContext<'tcx, '_> {

statements.push(Statement {
source_info: terminator.source_info,
kind: StatementKind::Assign(box (
kind: StatementKind::Assign(Box::new((
destination_place,
Rvalue::Use(Operand::Copy(
arg_place.project_deeper(&[ProjectionElem::Deref], self.tcx),
)),
)),
))),
});
terminator.kind = TerminatorKind::Goto { target: destination_block };
}
Expand Down
1 change: 0 additions & 1 deletion compiler/rustc_mir_transform/src/lib.rs
Original file line number Diff line number Diff line change
@@ -1,6 +1,5 @@
#![allow(rustc::potential_query_instability)]
#![feature(box_patterns)]
#![feature(box_syntax)]
#![feature(let_chains)]
#![feature(let_else)]
#![feature(map_try_insert)]
Expand Down
5 changes: 3 additions & 2 deletions compiler/rustc_mir_transform/src/normalize_array_len.rs
Original file line number Diff line number Diff line change
Expand Up @@ -125,7 +125,7 @@ impl<'tcx> Patcher<'_, 'tcx> {
let assign_to = Place::from(local);
let rvalue = Rvalue::Use(operand);
make_copy_statement.kind =
StatementKind::Assign(box (assign_to, rvalue));
StatementKind::Assign(Box::new((assign_to, rvalue)));
statements.push(make_copy_statement);

// to reorder we have to copy and make NOP
Expand Down Expand Up @@ -165,7 +165,8 @@ impl<'tcx> Patcher<'_, 'tcx> {
if add_deref {
place = self.tcx.mk_place_deref(place);
}
len_statement.kind = StatementKind::Assign(box (*into, Rvalue::Len(place)));
len_statement.kind =
StatementKind::Assign(Box::new((*into, Rvalue::Len(place))));
statements.push(len_statement);

// make temporary dead
Expand Down

0 comments on commit b2eed72

Please sign in to comment.