Skip to content

Rust: Model [T;n] -> [T] unsized coercions as implicit derefs - #22432

Draft
hvitved wants to merge 6 commits into
github:mainfrom
hvitved:rust/array-slice-unsized-coercion
Draft

Rust: Model [T;n] -> [T] unsized coercions as implicit derefs#22432
hvitved wants to merge 6 commits into
github:mainfrom
hvitved:rust/array-slice-unsized-coercion

Rust: Model `[T;n] -> [T]` unsized coercions as implicit derefs

1df2578
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed Aug 27, 2026 in 4s

5 configurations not found

Warning: Code scanning may not have found all the alerts introduced by this pull request, because 5 configurations present on refs/heads/main were not found:

Actions workflow (csv-coverage-metrics.yml)

  • ❓  .github/workflows/csv-coverage-metrics.yml:publish-csharp
  • ❓  .github/workflows/csv-coverage-metrics.yml:publish-java

Actions workflow (codeql-analysis.yml)

  • ❓  .github/workflows/codeql-analysis.yml:CodeQL-Build/language:actions
  • ❓  .github/workflows/codeql-analysis.yml:CodeQL-Build/language:csharp

Actions workflow (cpp-swift-analysis.yml)

  • ❓  .github/workflows/cpp-swift-analysis.yml:CodeQL-Build

New alerts in code changed by this pull request

  • 6 warnings

Alerts not introduced by this pull request might have been detected because the code changes were too large.

See annotations below for details.

View all branch alerts.

Annotations

Check warning on line 2790 in rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll

See this annotation in the file changed.

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for invocation, but the QLDoc mentions self

Check warning on line 1589 in rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll

See this annotation in the file changed.

Code scanning / CodeQL

Omittable 'exists' variable Warning

This exists variable can be omitted by using a don't-care expression
in this argument
Loading
.

Check warning on line 2446 in rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll

See this annotation in the file changed.

Code scanning / CodeQL

Redundant override Warning

Redundant override of
this predicate
Loading
.

Check warning on line 1612 in shared/typeinference/codeql/typeinference/internal/TypeInference.qll

See this annotation in the file changed.

Code scanning / CodeQL

Cannot inline predicate across overlay frontier Warning

This possibly local non-private inline predicate will not be inlined across the overlay frontier. This may negatively affect evaluation performance. Consider adding an overlay[caller] or overlay[caller?] annotation to allow inlining across the overlay frontier. Note that adding an overlay[caller] or overlay[caller?] annotation affects semantics under overlay evaluation.

Check warning on line 2113 in shared/typeinference/codeql/typeinference/internal/TypeInference.qll

See this annotation in the file changed.

Code scanning / CodeQL

Block comment that is not QLDoc Warning

Block comment could be QLDoc for
the below code
Loading
.

Check warning on line 2357 in shared/typeinference/codeql/typeinference/internal/TypeInference.qll

See this annotation in the file changed.

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for path, but the QLDoc mentions i32