Rust: Correct spurious annotations.

geoffw0 · geoffw0 · commit f3d727fadc9f · 2024-10-09T11:52:24.000+01:00
diff --git a/rust/ql/test/query-tests/unusedentities/main.rs b/rust/ql/test/query-tests/unusedentities/main.rs
@@ -265,8 +265,8 @@ fn if_lets_matches() {
 
     let i = Yes;
     match i {
-        Yes => {} // SPURIOUS: unused variable 'None'
-        No => {} // SPURIOUS: unused variable 'None'
+        Yes => {} // SPURIOUS: unused variable 'Yes'
+        No => {} // SPURIOUS: unused variable 'No'
     }
 
     if let j = Yes { // BAD: unused variable

Original file line number	Diff line number	Diff line change
`@@ -265,8 +265,8 @@ fn if_lets_matches() {`
`265`	`265`
`266`	`266`	`let i = Yes;`
`267`	`267`	`match i {`
`268`		`- Yes => {} // SPURIOUS: unused variable 'None'`
`269`		`- No => {} // SPURIOUS: unused variable 'None'`
	`268`	`+ Yes => {} // SPURIOUS: unused variable 'Yes'`
	`269`	`+ No => {} // SPURIOUS: unused variable 'No'`
`270`	`270`	`}`
`271`	`271`
`272`	`272`	`if let j = Yes { // BAD: unused variable`