Skip to content

Commit

Permalink
Updated MIR with UserAssertTy in mir-opt tests.
Browse files Browse the repository at this point in the history
  • Loading branch information
davidtwco committed Mar 23, 2018
1 parent 447ae76 commit 03481f1
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 2 deletions.
3 changes: 3 additions & 0 deletions src/test/mir-opt/basic_assignment.rs
Expand Up @@ -23,6 +23,8 @@
// tend to be absent in simple code, so subtle breakage in them can
// leave a quite hard-to-find trail of destruction.

// ignore-tidy-linelength

fn main() {
let nodrop_x = false;
let nodrop_y;
Expand All @@ -46,6 +48,7 @@ fn main() {
// _2 = move _3;
// StorageDead(_3);
// StorageLive(_4);
// UserAssertTy(Canonical { variables: Slice([]), value: std::option::Option<std::boxed::Box<u32>> }, _4);
// _4 = std::option::Option<std::boxed::Box<u32>>::None;
// StorageLive(_5);
// StorageLive(_6);
Expand Down
4 changes: 2 additions & 2 deletions src/test/mir-opt/nll/reborrow-basic.rs
Expand Up @@ -28,9 +28,9 @@ fn main() {

// END RUST SOURCE
// START rustc.main.nll.0.mir
// | '_#7r | {bb0[6..=14]}
// | '_#7r | {bb0[4], bb0[8..=17]}
// ...
// | '_#9r | {bb0[11..=14]}
// | '_#9r | {bb0[10], bb0[14..=17]}
// ...
// let _2: &'_#7r mut i32;
// ...
Expand Down

0 comments on commit 03481f1

Please sign in to comment.