Rust: Temporarily disable type information to flow into operands

[hvitved]

No description provided.

[Copilot]

Pull Request Overview

This PR temporarily adjusts type inference to prevent implicit borrow types (&, &T) from flowing into operands by:

• Updating expected test outputs to remove borrow-related entries.
• Adding a conditional filter in TypeInference.qll so only return positions on operations retain their inferred types.

Reviewed Changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 1 comment.

File	Description
rust/ql/test/library-tests/type-inference/type-inference.expected	Removed lines expecting & and &T in operand types
rust/ql/lib/codeql/rust/internal/TypeInference.qll	Added workaround clause to restrict borrow inference

Comments suppressed due to low confidence (2)

rust/ql/lib/codeql/rust/internal/TypeInference.qll:769

• [nitpick] Include a TODO with a reference to the issue or feature request that will address implicit borrows properly, so this workaround is tracked and removed later.

// temporary workaround until implicit borrows are handled correctly

rust/ql/test/library-tests/type-inference/type-inference.expected:2300

• [nitpick] Consider adding explicit tests for operations in non-return contexts to verify that borrow types are indeed suppressed, ensuring this change doesn’t regress in other scenarios.

-| main.rs:1595:13:1595:14 | v2 |  | file://:0:0:0:0 | &T |

[Copilot]

[nitpick] This if expression can be simplified to a boolean expression: not(a instanceof Operation) or apos.isReturn(), which is more idiomatic and easier to read.

Suggested change

	if a instanceof Operation then apos.isReturn() else any()
	not(a instanceof Operation) or apos.isReturn()

[paldepind]

LGTM!