Update rust/ql/test/library-tests/dataflow/modeled/main.rs

geoffw0 · Copilot · web-flow · commit 94b57ac9a984 · 2025-05-19T21:49:02.000+01:00
Co-authored-by: Copilot &lt;175728472+Copilot@users.noreply.github.com&gt;
diff --git a/rust/ql/test/library-tests/dataflow/modeled/main.rs b/rust/ql/test/library-tests/dataflow/modeled/main.rs
@@ -128,7 +128,7 @@ fn test_pin() {
         let mut ms = MyStruct { val: source(42) };
         let mut pin5 = Pin::new_unchecked(&ms);
         sink(pin5.val); // $ MISSING: hasValueFlow=42
-        sink(Pin::into_inner_unchecked(pin5).val); // $ MISSING: hasValueFlow=40
+        sink(Pin::into_inner_unchecked(pin5).val); // $ MISSING: hasValueFlow=42
     }
 
     {

Original file line number	Diff line number	Diff line change
`@@ -128,7 +128,7 @@ fn test_pin() {`
`128`	`128`	`let mut ms = MyStruct { val: source(42) };`
`129`	`129`	`let mut pin5 = Pin::new_unchecked(&ms);`
`130`	`130`	`sink(pin5.val); // $ MISSING: hasValueFlow=42`
`131`		`- sink(Pin::into_inner_unchecked(pin5).val); // $ MISSING: hasValueFlow=40`
	`131`	`+ sink(Pin::into_inner_unchecked(pin5).val); // $ MISSING: hasValueFlow=42`
`132`	`132`	`}`
`133`	`133`
`134`	`134`	`{`