Skip to content

Swift: prototype implementation of type inference in QL

984896b
Select commit
Loading
Failed to load commit list.
Draft

Swift: prototype implementation of type inference in QL #21837

Swift: prototype implementation of type inference in QL
984896b
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed May 13, 2026 in 10m 7s

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 (rust-analysis.yml)

  • ❓  .github/workflows/rust-analysis.yml:analyze/language:rust

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

New alerts in code changed by this pull request

  • 2 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 1413 in shared/typeinference/codeql/typeinference/internal/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
.

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

See this annotation in the file changed.

Code scanning / CodeQL

Predicate QLDoc style Warning

The QLDoc for a predicate without a result should start with 'Holds'.

Check warning on line 6 in swift/ql/lib/codeql/swift/internal/typeinference/TypeInference.qll

See this annotation in the file changed.

Code scanning / CodeQL

Redundant import Warning

Duplicate import, the module is already imported by
Type
.