Rust: Model impl shadowing

[hvitved]

Removes inconsistencies, where a method call could previously dispatch to shadowed impl Trait methods.

[Copilot]

Pull Request Overview

This PR introduces a new test module to verify that inherent methods correctly shadow trait methods in Rust. The key changes include:

• Adding a new module "impl_overlap" with a structure S1.
• Defining a trait MyTrait with an m1 method and an inherent method m1 on S1.
• Including a test function that confirms the inherent method is invoked.

Files not reviewed (4)

• rust/ql/lib/codeql/rust/internal/Type.qll: Language not supported
• rust/ql/test/extractor-tests/canonical_path/CONSISTENCY/PathResolutionConsistency.expected: Language not supported
• rust/ql/test/extractor-tests/canonical_path_disabled/CONSISTENCY/PathResolutionConsistency.expected: Language not supported
• rust/ql/test/library-tests/type-inference/type-inference.expected: Language not supported

[paldepind]

I was just running into this myself in #19372 since allowing non-universal/non-parametric impl blocks magnifies this issue.

However, #19372 completely changes how methods are resolved (the getMethod member predicate no longer exists for instance). So unless this fix is needed urgently I think it would make more sense to fix this in #19372 (and I think it's the only remaining issue in that PR)?

[paldepind]

This is should now also be handled in #19372.

[hvitved]

This is should now also be handled in #19372.

Excellent, I'll close this PR then.