Skip to content

Commit 03481f1

Browse files
committed
Updated MIR with UserAssertTy in mir-opt tests.
1 parent 447ae76 commit 03481f1

File tree

2 files changed

+5
-2
lines changed

2 files changed

+5
-2
lines changed

src/test/mir-opt/basic_assignment.rs

+3
Original file line numberDiff line numberDiff line change
@@ -23,6 +23,8 @@
2323
// tend to be absent in simple code, so subtle breakage in them can
2424
// leave a quite hard-to-find trail of destruction.
2525

26+
// ignore-tidy-linelength
27+
2628
fn main() {
2729
let nodrop_x = false;
2830
let nodrop_y;
@@ -46,6 +48,7 @@ fn main() {
4648
// _2 = move _3;
4749
// StorageDead(_3);
4850
// StorageLive(_4);
51+
// UserAssertTy(Canonical { variables: Slice([]), value: std::option::Option<std::boxed::Box<u32>> }, _4);
4952
// _4 = std::option::Option<std::boxed::Box<u32>>::None;
5053
// StorageLive(_5);
5154
// StorageLive(_6);

src/test/mir-opt/nll/reborrow-basic.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -28,9 +28,9 @@ fn main() {
2828

2929
// END RUST SOURCE
3030
// START rustc.main.nll.0.mir
31-
// | '_#7r | {bb0[6..=14]}
31+
// | '_#7r | {bb0[4], bb0[8..=17]}
3232
// ...
33-
// | '_#9r | {bb0[11..=14]}
33+
// | '_#9r | {bb0[10], bb0[14..=17]}
3434
// ...
3535
// let _2: &'_#7r mut i32;
3636
// ...

0 commit comments

Comments
 (0)