Search results

Invalid conformance in type-checked AST

bugA deviation from expected or documented behavior. Also: expected but undesirable behavior.A deviation from expected or documented behavior. Also: expected but undesirable behavior.

compilerThe Swift compiler itselfThe Swift compiler itself

crashBug: A crash, i.e., an abnormal termination of softwareBug: A crash, i.e., an abnormal termination of software

genericsFeature: generic declarations and typesFeature: generic declarations and types

type checkerArea → compiler: Semantic analysisArea → compiler: Semantic analysis

Status: Open.

#82722 In swiftlang/swift;

· Frizlab opened on Jul 2, 2025

Swift Compiler Crash with sharing-grdb 0.5.0 and Swift 6.1.2

bugA deviation from expected or documented behavior. Also: expected but undesirable behavior.A deviation from expected or documented behavior. Also: expected but undesirable behavior.

type checkerArea → compiler: Semantic analysisArea → compiler: Semantic analysis

Status: Open.

#82529 In swiftlang/swift;

· doozMen opened on Jun 26, 2025

Ambiguous type name 'AtomicRepresentation' in Swift 6.2/Xcode 26 beta 2

bugA deviation from expected or documented behavior. Also: expected but undesirable behavior.A deviation from expected or documented behavior. Also: expected but undesirable behavior.

name lookupArea → compiler → type checker: Name lookupArea → compiler → type checker: Name lookup

type checkerArea → compiler: Semantic analysisArea → compiler: Semantic analysis

Status: Open.

#82528 In swiftlang/swift;

· troughton opened on Jun 26, 2025

Pack type inference fails for <code>T == (repeat each A, U, repeat each B)</code>

compilerThe Swift compiler itselfThe Swift compiler itself

genericsFeature: generic declarations and typesFeature: generic declarations and types

parameter packsFeature → generics: Parameter packsFeature → generics: Parameter packs

swift 6.2

type checkerArea → compiler: Semantic analysisArea → compiler: Semantic analysis

unexpected errorBug: Unexpected errorBug: Unexpected error

Status: Open.

Bug

#82403 In swiftlang/swift;

· AnthonyLatsis opened on Jun 22, 2025

[C++ interop] Function from other Swift module not found if it returns C++ template class

c++ interopFeature: Interoperability with C++Feature: Interoperability with C++

c++ to swiftFeature → c++ interop: c++ to swiftFeature → c++ interop: c++ to swift

compilerThe Swift compiler itselfThe Swift compiler itself

genericsFeature: generic declarations and typesFeature: generic declarations and types

multiple modulesFlag: An issue whose reproduction requires multiple modulesFlag: An issue whose reproduction requires multiple modules

swift 6.2

type checkerArea → compiler: Semantic analysisArea → compiler: Semantic analysis

Status: Open.

Bug

#82297 In swiftlang/swift;

· AnthonyLatsis opened on Jun 17, 2025

Typechecker does not propagate effects correctly on Windows

bugA deviation from expected or documented behavior. Also: expected but undesirable behavior.A deviation from expected or documented behavior. Also: expected but undesirable behavior.

compilerThe Swift compiler itselfThe Swift compiler itself

expressionsFeature: expressionsFeature: expressions

throws & rethrowsFeature → error handling: throws & rethrowsFeature → error handling: throws & rethrows

type checkerArea → compiler: Semantic analysisArea → compiler: Semantic analysis

Status: Open.

#82236 In swiftlang/swift;

· jmschonfeld opened on Jun 13, 2025

Swift 6.2: undesired "Capture of non-sendable type 'T.Type'" warnings

bugA deviation from expected or documented behavior. Also: expected but undesirable behavior.A deviation from expected or documented behavior. Also: expected but undesirable behavior.

concurrencyFeature: umbrella label for concurrency language featuresFeature: umbrella label for concurrency language features

expressionsFeature: expressionsFeature: expressions

SendableArea → standard library: The Sendable protocolArea → standard library: The Sendable protocol

type checkerArea → compiler: Semantic analysisArea → compiler: Semantic analysis

Status: Open.

#82116 In swiftlang/swift;

· groue opened on Jun 9, 2025

Crash with static method and stored property share the same name

bugA deviation from expected or documented behavior. Also: expected but undesirable behavior.A deviation from expected or documented behavior. Also: expected but undesirable behavior.

crashBug: A crash, i.e., an abnormal termination of softwareBug: A crash, i.e., an abnormal termination of software

triage neededThis issue needs more specific labelsThis issue needs more specific labels

type checkerArea → compiler: Semantic analysisArea → compiler: Semantic analysis

Status: Open.

#81828 In swiftlang/swift;

· mhegazy opened on May 29, 2025

Bad diagnostic for <code>.init</code> + argument label mismatch + overloads

compilerThe Swift compiler itselfThe Swift compiler itself

diagnostics QoIBug: Diagnostics Quality of ImplementationBug: Diagnostics Quality of Implementation

expressionsFeature: expressionsFeature: expressions

overload resolutionArea → compiler → type checker: Overload resolution (ranking)Area → compiler → type checker: Overload resolution (ranking)

swift 6.2

type checkerArea → compiler: Semantic analysisArea → compiler: Semantic analysis

Status: Open.

Bug

#81778 In swiftlang/swift;

· AnthonyLatsis opened on May 26, 2025

Variadic generic default argument does not work for single element cases

bugA deviation from expected or documented behavior. Also: expected but undesirable behavior.A deviation from expected or documented behavior. Also: expected but undesirable behavior.

compilerThe Swift compiler itselfThe Swift compiler itself

default argumentsFeature: default arguments for value parametersFeature: default arguments for value parameters

genericsFeature: generic declarations and typesFeature: generic declarations and types

parameter packsFeature → generics: Parameter packsFeature → generics: Parameter packs

type checkerArea → compiler: Semantic analysisArea → compiler: Semantic analysis

Status: Open.

#81741 In swiftlang/swift;

· hamishknight opened on May 23, 2025

typechecker regression when calling protocol requirement through an existential of a refining protocol

bugA deviation from expected or documented behavior. Also: expected but undesirable behavior.A deviation from expected or documented behavior. Also: expected but undesirable behavior.

compilerThe Swift compiler itselfThe Swift compiler itself

constrained existentialsFeature → existentials: constrained existentials such as 'any Collection<Int>'Feature → existentials: constrained existentials such as 'any Collection<Int>'

existential member accessesFeature → existentials: existential member accessesFeature → existentials: existential member accesses

existentialsFeature: values of types like `any Collection`, `Any` and `AnyObject`; type-erased valuesFeature: values of types like `any Collection`, `Any` and `AnyObject`; type-erased values

genericsFeature: generic declarations and typesFeature: generic declarations and types

regression

swift 6.1

type checkerArea → compiler: Semantic analysisArea → compiler: Semantic analysis

unexpected errorBug: Unexpected errorBug: Unexpected error

Status: Open.

#81712 In swiftlang/swift;

· tayloraswift opened on May 22, 2025

Failed to produce diagnostic for expression with misplaced '?'

compilerThe Swift compiler itselfThe Swift compiler itself

diagnostics QoIBug: Diagnostics Quality of ImplementationBug: Diagnostics Quality of Implementation

expressionsFeature: expressionsFeature: expressions

failed to produce diagnosticBug → internal error: Failed to produce diagnostic for expressionBug → internal error: Failed to produce diagnostic for expression

swift 6.2

SwiftUIFlag: Involves SwiftUIFlag: Involves SwiftUI

type checkerArea → compiler: Semantic analysisArea → compiler: Semantic analysis

Status: Open.

Bug

#81710 In swiftlang/swift;

· Zim999 opened on May 22, 2025