Rust: Also include prelude path resolution in Core

[hvitved]

Needed in order to resolve paths inside the Core library itself, such as resolving Option at https://github.com/rust-lang/rust/blob/95a2212587f1b8500af1ac630322b0cb2e030c61/library/core/src/iter/traits/iterator.rs#L373.

[Copilot]

Pull Request Overview

This PR extends path resolution to include the Rust core crate itself when resolving prelude items, and updates a debug helper to point at a new test file and line.

• Include the core crate in preludeEdge, not just its dependencies
• Update Debug.getRelevantLocatable to match test.rs at line 74 instead of term.rs at line 71

Comments suppressed due to low confidence (2)

rust/ql/lib/codeql/rust/internal/PathResolution.qll:1441

• The filename pattern was changed from %/term.rs to %/test.rs; verify that the target file is actually named test.rs. If the intention was to match term.rs, update the pattern accordingly.

filepath.matches("%/test.rs") and

rust/ql/lib/codeql/rust/internal/PathResolution.qll:1442

• The startline comparison changed from a list literal [71] to a single integer 74. Ensure this aligns with the predicate’s expected type: if startline can have multiple values, wrap 74 in a list.

startline = 74

[Copilot]

[nitpick] The combined dependency check core = c0.getDependency(_) or core = c0 can be hard to read; consider adding parentheses around the OR expression or splitting it into two predicates for clarity.

Suggested change

	f = any(Crate c0 | core = c0.getDependency(_) or core = c0).getASourceFile() and
	f = any(Crate c0 | (core = c0.getDependency(_) or core = c0)).getASourceFile() and