Skip to content

Swift: Support new Swift 6.1 AST elements #19420

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
jketema merged 5 commits into from
May 2, 2025

Swift: Add change note

5c4ca64
Select commit
Loading
Failed to load commit list.
Merged

Swift: Support new Swift 6.1 AST elements #19420

Swift: Add change note
5c4ca64
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed May 2, 2025 in 7s

6 configurations not found

Warning: Code scanning may not have found all the alerts introduced by this pull request, because 6 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
  • ❓  .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

  • 5 warnings

See annotations below for details.

View all branch alerts.

Annotations

Check warning on line 123 in swift/ql/lib/codeql/swift/elements.qll

See this annotation in the file changed.

Code scanning / CodeQL

Redundant import Warning

Redundant import, the module is already imported inside
codeql.swift.elements.MacroRole
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.decl.PatternBindingDecl
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.decl.VarDecl
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.AnyTryExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.AppliedPropertyWrapperExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.ApplyExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.Argument
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.ArrayExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.AssignExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.BindOptionalExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.CaptureListExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.ClosureExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.CollectionExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.ConsumeExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.CopyExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.CurrentContextIsolationExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.DeclRefExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.DefaultArgumentExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.DictionaryExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.DiscardAssignmentExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.DotSyntaxBaseIgnoredExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.DynamicTypeExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.EnumIsCaseExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.ErrorExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.ExplicitCastExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.ExtractFunctionIsolationExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.ForceValueExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.IdentityExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.IfExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.ImplicitConversionExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.InOutExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.KeyPathApplicationExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.KeyPathDotExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.KeyPathExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.LazyInitializationExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.LiteralExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.LookupExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.MakeTemporarilyEscapableExpr
Loading
.
Redundant import, the module is already imported inside [codeql.swift.elements.expr.Material

Check warning on line 133 in swift/ql/lib/codeql/swift/elements.qll

See this annotation in the file changed.

Code scanning / CodeQL

Redundant import Warning

Redundant import, the module is already imported inside
codeql.swift.elements.expr.AbiSafeConversionExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.ActorIsolationErasureExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.AnyHashableErasureExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.ArchetypeToSuperExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.ArrayToPointerExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.BridgeFromObjCExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.BridgeToObjCExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.ClassMetatypeToObjectExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.CollectionUpcastConversionExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.ConditionalBridgeFromObjCExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.CovariantFunctionConversionExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.CovariantReturnConversionExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.DerivedToBaseExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.DestructureTupleExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.DifferentiableFunctionExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.DifferentiableFunctionExtractOriginalExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.ErasureExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.ExistentialMetatypeToObjectExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.ForeignObjectConversionExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.FunctionConversionExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.InOutToPointerExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.InjectIntoOptionalExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.LinearFunctionExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.LinearFunctionExtractOriginalExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.LinearToDifferentiableFunctionExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.LoadExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.MetatypeConversionExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.PointerToPointerExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.ProtocolMetatypeToObjectExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.StringToPointerExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.UnderlyingToOpaqueExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.UnevaluatedInstanceExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.UnreachableExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.UnresolvedTypeConversionExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.UnsafeCastExpr
Loading
.

Check warning on line 258 in swift/ql/lib/codeql/swift/elements.qll

See this annotation in the file changed.

Code scanning / CodeQL

Redundant import Warning

Redundant import, the module is already imported inside
codeql.swift.elements.type.AnyBuiltinIntegerType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.BuiltinBridgeObjectType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.BuiltinDefaultActorStorageType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.BuiltinExecutorType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.BuiltinFixedArrayType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.BuiltinFloatType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.BuiltinJobType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.BuiltinNativeObjectType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.BuiltinRawPointerType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.BuiltinRawUnsafeContinuationType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.BuiltinUnsafeValueBufferType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.BuiltinVectorType
Loading
.

Check warning on line 298 in swift/ql/lib/codeql/swift/elements.qll

See this annotation in the file changed.

Code scanning / CodeQL

Redundant import Warning

Redundant import, the module is already imported inside
codeql.swift.elements.KeyPathComponent
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.decl.NominalTypeDecl
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.decl.SubscriptDecl
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.decl.TypeAliasDecl
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.decl.TypeDecl
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.decl.ValueDecl
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.decl.VarDecl
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.DeclRefExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.Expr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.pattern.Pattern
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.AnyFunctionType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.AnyGenericType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.AnyMetatypeType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.ArchetypeType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.BoundGenericType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.BuiltinType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.DependentMemberType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.DictionaryType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.DynamicSelfType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.ErrorType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.ExistentialType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.InOutType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.InlineArrayType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.IntegerType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.LValueType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.ModuleType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.PackElementType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.PackExpansionType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.PackType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.ParameterizedProtocolType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.ParenType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.ProtocolCompositionType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.ReferenceStorageType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.SubstitutableType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.SugarType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.TupleType
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.TypeRepr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.type.UnarySyntaxSugarType
Loading
.
Redundant import, the module is already imported inside codeql.swift.elements.type.UnresolvedType.

Check warning on line 300 in swift/ql/lib/codeql/swift/elements.qll

See this annotation in the file changed.

Code scanning / CodeQL

Redundant import Warning

Redundant import, the module is already imported inside
codeql.swift.elements.expr.KeyPathExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.TypeExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.expr.TypeValueExpr
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.pattern.IsPattern
Loading
.
Redundant import, the module is already imported inside
codeql.swift.elements.pattern.TypedPattern
Loading
.