@@ -51,8 +51,8 @@ fn main() {
51
51
// fn write_42::{{closure}}(_1: &ReErased [closure@NodeId(22)], _2: *mut i32) -> () {
52
52
// ...
53
53
// bb0: {
54
- // Validate(Acquire, [_1: &ReFree(DefId { krate: CrateNum(0), index: DefIndex(1:9) => validate_4[8cd8 ]::write_42[0]::{{closure}}[0] }, BrEnv) [closure@NodeId(22)], _2: *mut i32]);
55
- // Validate(Release, [_1: &ReFree(DefId { krate: CrateNum(0), index: DefIndex(1:9) => validate_4[8cd8 ]::write_42[0]::{{closure}}[0] }, BrEnv) [closure@NodeId(22)], _2: *mut i32]);
54
+ // Validate(Acquire, [_1: &ReFree(DefId { krate: CrateNum(0), index: DefIndex(1:9) => validate_4[e36f ]::write_42[0]::{{closure}}[0] }, BrEnv) [closure@NodeId(22)], _2: *mut i32]);
55
+ // Validate(Release, [_1: &ReFree(DefId { krate: CrateNum(0), index: DefIndex(1:9) => validate_4[e36f ]::write_42[0]::{{closure}}[0] }, BrEnv) [closure@NodeId(22)], _2: *mut i32]);
56
56
// StorageLive(_3);
57
57
// _3 = _2;
58
58
// (*_3) = const 23i32;
@@ -65,8 +65,8 @@ fn main() {
65
65
// fn test(_1: &ReErased mut i32) -> () {
66
66
// ...
67
67
// bb0: {
68
- // Validate(Acquire, [_1: &ReFree(DefId { krate: CrateNum(0), index: DefIndex(0:4) => validate_4[8cd8 ]::test[0] }, BrAnon(0)) mut i32]);
69
- // Validate(Release, [_1: &ReFree(DefId { krate: CrateNum(0), index: DefIndex(0:4) => validate_4[8cd8 ]::test[0] }, BrAnon(0)) mut i32]);
68
+ // Validate(Acquire, [_1: &ReFree(DefId { krate: CrateNum(0), index: DefIndex(0:4) => validate_4[e36f ]::test[0] }, BrAnon(0)) mut i32]);
69
+ // Validate(Release, [_1: &ReFree(DefId { krate: CrateNum(0), index: DefIndex(0:4) => validate_4[e36f ]::test[0] }, BrAnon(0)) mut i32]);
70
70
// ...
71
71
// _3 = const write_42(_4) -> bb1;
72
72
// }
@@ -81,8 +81,8 @@ fn main() {
81
81
// fn main::{{closure}}(_1: &ReErased [closure@NodeId(60)], _2: &ReErased mut i32) -> bool {
82
82
// ...
83
83
// bb0: {
84
- // Validate(Acquire, [_1: &ReFree(DefId { krate: CrateNum(0), index: DefIndex(1:10) => validate_4[8cd8 ]::main[0]::{{closure}}[0] }, BrEnv) [closure@NodeId(60)], _2: &ReFree(DefId { krate: CrateNum(0), index: DefIndex(1:10) => validate_4[8cd8 ]::main[0]::{{closure}}[0] }, BrAnon(1)) mut i32]);
85
- // Validate(Release, [_1: &ReFree(DefId { krate: CrateNum(0), index: DefIndex(1:10) => validate_4[8cd8 ]::main[0]::{{closure}}[0] }, BrEnv) [closure@NodeId(60)], _2: &ReFree(DefId { krate: CrateNum(0), index: DefIndex(1:10) => validate_4[8cd8 ]::main[0]::{{closure}}[0] }, BrAnon(1)) mut i32]);
84
+ // Validate(Acquire, [_1: &ReFree(DefId { krate: CrateNum(0), index: DefIndex(1:10) => validate_4[e36f ]::main[0]::{{closure}}[0] }, BrEnv) [closure@NodeId(60)], _2: &ReFree(DefId { krate: CrateNum(0), index: DefIndex(1:10) => validate_4[e36f ]::main[0]::{{closure}}[0] }, BrAnon(1)) mut i32]);
85
+ // Validate(Release, [_1: &ReFree(DefId { krate: CrateNum(0), index: DefIndex(1:10) => validate_4[e36f ]::main[0]::{{closure}}[0] }, BrEnv) [closure@NodeId(60)], _2: &ReFree(DefId { krate: CrateNum(0), index: DefIndex(1:10) => validate_4[e36f ]::main[0]::{{closure}}[0] }, BrAnon(1)) mut i32]);
86
86
// StorageLive(_3);
87
87
// ...
88
88
// _0 = const write_42(_4) -> bb1;
0 commit comments