Search results

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

Variadic-generic opaque return types produce malformed module interfaces

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

library evolutionFeature: library evolution (umbrella feature for features that facilitate resilient libraries)Feature: library evolution (umbrella feature for features that facilitate resilient libraries)

opaque result typesFeature → types → opaque types: opaque result typesFeature → types → opaque types: opaque result types

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

swift 6.1

unexpected behaviorBug: Unexpected behavior or incorrect outputBug: Unexpected behavior or incorrect output

Status: Open.

Bug

#81455 In swiftlang/swift;

· karwa opened on May 12, 2025

🌸6.1 [ClangImporter] Fix import of aliased enum cases

swift 6.1

🍒 release cherry pickFlag: Release branch cherry picksFlag: Release branch cherry picks

Status: Draft (not ready).

swiftlang/swiftnumber 80842

#80842 In swiftlang/swift;

· beccadax opened on Apr 15, 2025

Compiler crash (regression) relating to typed throws and primary associated types

async & awaitFeature → concurrency: asynchronous function aka the async/await patternFeature → concurrency: asynchronous function aka the async/await pattern

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

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

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

error handling

IRGenLLVM IR generationLLVM IR generation

swift 6.1

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

typed throwsFeature → error handling → throws & rethrows: Typed throwsFeature → error handling → throws & rethrows: Typed throws

Status: Open.

Bug

#80732 In swiftlang/swift;

· lawrence-forooghian opened on Apr 10, 2025

[Swift 6.1] Availability validation is broken in a certain case

#availableFeature → statements: Availability conditionFeature → statements: Availability condition

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

swift 6.1

swift 6.2

Status: Open.

#80338 In swiftlang/swift;

· DmT021 opened on Mar 27, 2025

Error <code>type 'any P' cannot conform to 'P'</code> fixed by unrelated statement

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

closuresFeature: closuresFeature: closures

compilerThe Swift compiler itselfThe Swift compiler itself

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

expressionsFeature: expressionsFeature: expressions

genericsFeature: generic declarations and typesFeature: generic declarations and types

implicit existential openingFeature → existentials: implicit opening of existentials when passed to parameters of generic typeFeature → existentials: implicit opening of existentials when passed to parameters of generic type

swift 6.1

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

Status: Open.

#78436 In swiftlang/swift;

· SimplyDanny opened on Jan 4, 2025

Compiler crash attempting to call a function with a pack archetype expansion parameter

assertion failureBug → crash: An assertion failureBug → crash: An assertion failure

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

expressionsFeature: expressionsFeature: expressions

function typesFeature → types: function typesFeature → types: function types

genericsFeature: generic declarations and typesFeature: generic declarations and types

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

swift 6.1

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

typesFeature: typesFeature: types

Status: Open.

#78396 In swiftlang/swift;

· hamishknight opened on Dec 31, 2024

Crash on invalid nested call to variadic generic function

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

expressionsFeature: expressionsFeature: expressions

genericsFeature: generic declarations and typesFeature: generic declarations and types

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

swift 6.1

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

Status: Open.

#78156 In swiftlang/swift;

· AnthonyLatsis opened on Dec 13, 2024

Crash when opening existential of type AnyObject

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

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

expressionsFeature: expressionsFeature: expressions

implicit existential openingFeature → existentials: implicit opening of existentials when passed to parameters of generic typeFeature → existentials: implicit opening of existentials when passed to parameters of generic type

SILGenArea → compiler: The SIL generation stageArea → compiler: The SIL generation stage

swift 6.1

typesFeature: typesFeature: types

Status: Open.

#77847 In swiftlang/swift;

· AdamCmiel opened on Nov 26, 2024

Crash on illegal existential method reference containing undefined type in signature

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

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

expressionsFeature: expressionsFeature: expressions

function referencesFeature: function references as in 'foo(bar:baz:)'Feature: function references as in 'foo(bar:baz:)'

swift 6.1

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

typesFeature: typesFeature: types

Status: Open.

#77840 In swiftlang/swift;

· AnthonyLatsis opened on Nov 26, 2024

Diagnostic for <code>static nonmutating</code> should be improved

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

declarationsFeature: declarationsFeature: declarations

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

good first issueGood for newcomersGood for newcomers

mutatingFeature → declarations → functions: Mutating functionsFeature → declarations → functions: Mutating functions

static declarationsFeature → declarations: Static declarationsFeature → declarations: Static declarations

swift 6.1

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

Status: Open.

#77835 In swiftlang/swift;

· AnthonyLatsis opened on Nov 25, 2024

Confusing error on cross-module access of isolated state

actor isolationFeature → concurrency: Actor isolationFeature → concurrency: Actor isolation

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

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

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

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

swift 6.1

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

Status: Open.

Bug

#76909 In swiftlang/swift;

· AnthonyLatsis opened on Oct 8, 2024