Rust: Resolve Self path in trait type of implementation

[paldepind]

We currently don't resolve the Self in:

impl Trait1<Self> for S { ... }
//          ^^^^ should be resolved after this PR

[Copilot]

Pull Request Overview

This PR adds a test case to verify that the Self path in the trait type of an implementation is correctly resolved. The changes introduce a new module (m23) with a trait (Trait1) and its implementation for a struct S using Self, and then exercise the implementation via a function call.

Files not reviewed (2)

• rust/ql/lib/codeql/rust/internal/PathResolution.qll: Language not supported
• rust/ql/test/library-tests/path-resolution/path-resolution.expected: Language not supported

Comments suppressed due to low confidence (1)

rust/ql/test/library-tests/path-resolution/main.rs:539

• [nitpick] Consider adding an assertion to verify that the resolution of 'Self' has been correctly applied rather than solely relying on printed output, to improve the test coverage.

println!("m23::<S as Trait1<S>>::f");

Tip: If you use Visual Studio Code, you can request a review from Copilot before you push from the "Source Control" tab. Learn more

[hvitved]

LGTM, one trivial request. Also, remember DCA.

[hvitved]

Remove extra //.

[paldepind]

Absolutely nothing happened in the DCA.