@@ -48,11 +48,11 @@ fn main() {
48
48
// }
49
49
// END rustc.write_42.EraseRegions.after.mir
50
50
// START rustc.write_42-{{closure}}.EraseRegions.after.mir
51
- // fn write_42::{{closure}}(_1: &ReErased [closure@NodeId(22 )], _2: *mut i32) -> () {
51
+ // fn write_42::{{closure}}(_1: &ReErased [closure@NodeId(32 )], _2: *mut i32) -> () {
52
52
// ...
53
53
// bb0: {
54
- // Validate(Acquire, [_1: &ReFree(DefId(0/1:9 ~ validate_4[317d]::write_42[0]::{{closure}}[0]), BrEnv) [closure@NodeId(22 )], _2: *mut i32]);
55
- // Validate(Release, [_1: &ReFree(DefId(0/1:9 ~ validate_4[317d]::write_42[0]::{{closure}}[0]), BrEnv) [closure@NodeId(22 )], _2: *mut i32]);
54
+ // Validate(Acquire, [_1: &ReFree(DefId(0/1:9 ~ validate_4[317d]::write_42[0]::{{closure}}[0]), BrEnv) [closure@NodeId(32 )], _2: *mut i32]);
55
+ // Validate(Release, [_1: &ReFree(DefId(0/1:9 ~ validate_4[317d]::write_42[0]::{{closure}}[0]), BrEnv) [closure@NodeId(32 )], _2: *mut i32]);
56
56
// (*_2) = const 23i32;
57
57
// _0 = ();
58
58
// return;
@@ -76,11 +76,11 @@ fn main() {
76
76
// }
77
77
// END rustc.test.EraseRegions.after.mir
78
78
// START rustc.main-{{closure}}.EraseRegions.after.mir
79
- // fn main::{{closure}}(_1: &ReErased [closure@NodeId(60 )], _2: &ReErased mut i32) -> bool {
79
+ // fn main::{{closure}}(_1: &ReErased [closure@NodeId(80 )], _2: &ReErased mut i32) -> bool {
80
80
// ...
81
81
// bb0: {
82
- // Validate(Acquire, [_1: &ReFree(DefId(0/1:10 ~ validate_4[317d]::main[0]::{{closure}}[0]), BrEnv) [closure@NodeId(60 )], _2: &ReFree(DefId(0/1:10 ~ validate_4[317d]::main[0]::{{closure}}[0]), BrAnon(0)) mut i32]);
83
- // Validate(Release, [_1: &ReFree(DefId(0/1:10 ~ validate_4[317d]::main[0]::{{closure}}[0]), BrEnv) [closure@NodeId(60 )], _2: &ReFree(DefId(0/1:10 ~ validate_4[317d]::main[0]::{{closure}}[0]), BrAnon(0)) mut i32]);
82
+ // Validate(Acquire, [_1: &ReFree(DefId(0/1:10 ~ validate_4[317d]::main[0]::{{closure}}[0]), BrEnv) [closure@NodeId(80 )], _2: &ReFree(DefId(0/1:10 ~ validate_4[317d]::main[0]::{{closure}}[0]), BrAnon(0)) mut i32]);
83
+ // Validate(Release, [_1: &ReFree(DefId(0/1:10 ~ validate_4[317d]::main[0]::{{closure}}[0]), BrEnv) [closure@NodeId(80 )], _2: &ReFree(DefId(0/1:10 ~ validate_4[317d]::main[0]::{{closure}}[0]), BrAnon(0)) mut i32]);
84
84
// StorageLive(_3);
85
85
// ...
86
86
// _0 = const write_42(move _3) -> bb1;
0 commit comments