Rust: Canonical paths for blanket implementations

[hvitved]

Implements getCanonicalPath also for blanket implementations:

impl<T> Foo for T {
  // canonical path: `<_ as Foo>::bar`
  fn bar(...) { ... }
}

[Copilot]

Pull request overview

Adds canonical Rust paths for blanket trait implementations, enabling models-as-data matching.

Changes:

• Generates <_ as Trait> canonical paths.
• Adds extractor and data-flow coverage.
• Updates expected test outputs.

Show a summary per file

File	Description
rust/ql/lib/codeql/rust/internal/PathResolution.qll	Implements blanket-implementation paths.
rust/ql/test/extractor-tests/canonical_path/canonical_paths.expected	Records expected canonical paths.
rust/ql/test/library-tests/dataflow/models/main.rs	Adds blanket-model test cases.
rust/ql/test/library-tests/dataflow/models/external_file.rs	Adds an inherited trait-model fixture.
rust/ql/test/library-tests/dataflow/models/models.ext.yml	Defines explicit model paths.
rust/ql/test/library-tests/dataflow/models/models.expected	Records expected data-flow results.

Review details

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

• Files reviewed: 6/6 changed files
• Comments generated: 0
• Review effort level: Balanced

[redsun82]

Thanks!