Rust: Update test assertions to match results

paldepind · paldepind · commit 9b34615a645f · 2024-12-06T19:05:53.000+01:00
diff --git a/rust/ql/test/library-tests/variables/variables.expected b/rust/ql/test/library-tests/variables/variables.expected
@@ -1,8 +1,4 @@
 testFailures
-| variables.rs:493:13:493:16 | self | Unexpected result: read_access=self |
-| variables.rs:493:25:493:25 | n | Unexpected result: read_access=n |
-| variables.rs:495:9:495:9 | f | Unexpected result: read_access=f |
-| variables.rs:496:9:496:9 | f | Unexpected result: read_access=f |
 variable
 | variables.rs:3:14:3:14 | s |
 | variables.rs:7:14:7:14 | i |
diff --git a/rust/ql/test/library-tests/variables/variables.rs b/rust/ql/test/library-tests/variables/variables.rs
@@ -490,10 +490,10 @@ impl MyStruct {
     fn my_method(&mut self) {
         let mut f = |n| {
             // Capture of `self`
-            self.val += n;
+            self.val += n; // $ read_access=self read_access=n
         };
-        f(3);
-        f(4);
+        f(3); // $ read_access=f
+        f(4); // $ read_access=f
     }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -490,10 +490,10 @@ impl MyStruct {`
`490`	`490`	`fn my_method(&mut self) {`
`491`	`491`	`let mut f = \|n\| {`
`492`	`492`	// Capture of `self`
`493`		`- self.val += n;`
	`493`	`+ self.val += n; // $ read_access=self read_access=n`
`494`	`494`	`};`
`495`		`- f(3);`
`496`		`- f(4);`
	`495`	`+ f(3); // $ read_access=f`
	`496`	`+ f(4); // $ read_access=f`
`497`	`497`	`}`
`498`	`498`	`}`
`499`	`499`