@@ -48,11 +48,11 @@ fn main() {
4848// }
4949// END rustc.write_42.EraseRegions.after.mir
5050// 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) -> () {
5252// ...
5353// 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]);
5656// (*_2) = const 23i32;
5757// _0 = ();
5858// return;
@@ -76,11 +76,11 @@ fn main() {
7676// }
7777// END rustc.test.EraseRegions.after.mir
7878// 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 {
8080// ...
8181// 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]);
8484// StorageLive(_3);
8585// ...
8686// _0 = const write_42(move _3) -> bb1;
0 commit comments