From ff6e598f72dd8ea475d75eb442a6e42e456546b7 Mon Sep 17 00:00:00 2001
From: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
Date: Mon, 19 Jan 2026 16:09:20 +0000
Subject: [PATCH] Rust: Annotate failures with explanation.

---
 rust/ql/test/library-tests/dataflow/taint/main.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/rust/ql/test/library-tests/dataflow/taint/main.rs b/rust/ql/test/library-tests/dataflow/taint/main.rs
index 35a6271d2f1..3c54d706305 100644
--- a/rust/ql/test/library-tests/dataflow/taint/main.rs
+++ b/rust/ql/test/library-tests/dataflow/taint/main.rs
@@ -139,7 +139,7 @@ use std::ops::{Add, Sub, Mul, Shl, Shr, BitOr, AddAssign, SubAssign, MulAssign,
 
 fn std_ops() {
     sink(source(1).add(2i64)); // $ hasTaintFlow=1
-    sink(source(1).add(2)); // $ MISSING: hasTaintFlow=1
+    sink(source(1).add(2)); // $ MISSING: hasTaintFlow=1 --- the missing results here are due to failing to resolve targets for `add` etc where there's no explicit type
     sink(1i64.add(source(2))); // $ hasTaintFlow=2
     sink(1.add(source(2))); // $ MISSING: hasTaintFlow=2
 
@@ -197,7 +197,7 @@ mod wrapping {
         a.add_assign(Wrapping(crate::source(3)));
         a += source(4);
         a += std::num::Wrapping(crate::source(5));
-        sink(a); // $ hasTaintFlow=2 hasTaintFlow=4 MISSING: hasTaintFlow=3 hasTaintFlow=5
+        sink(a); // $ hasTaintFlow=2 hasTaintFlow=4 MISSING: hasTaintFlow=3 hasTaintFlow=5 --- we don't currently find any `Call`s for `Wrapping` above
     }
 }