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

Swift compiler often but-not-always crashes on async/await block using optional ObjC protocol method with callback

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

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

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

Status: Open.

#79319 In swiftlang/swift;

· palmin opened on Feb 12, 2025

Missing <code>any</code> not diagnosed in <code>borrowing ~(Copyable &amp; Copyable)</code>

accepts invalidBug: Accepts invalidBug: Accepts invalid

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

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

swift 6.2

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

typesFeature: typesFeature: types

Status: Open.

#78936 In swiftlang/swift;

· AnthonyLatsis opened on Jan 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 errors out on <code>let _: (any Any).Type = (any Any).self</code>

AnyFeature → types: The `Any` built-in typeFeature → types: The `Any` built-in type

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

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

metatypesFeature → types: MetatypesFeature → types: Metatypes

parserArea → compiler: The legacy C++ parserArea → compiler: The legacy C++ parser

swift 6.0

typesFeature: typesFeature: types

Status: Open.

#78042 In swiftlang/swift;

· AnthonyLatsis opened on Dec 7, 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

Offer additional note for why method with Self reference cannot be used on <code>any SomeType</code>

compilerThe Swift compiler itselfThe Swift compiler itself

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

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

good first issueGood for newcomersGood for newcomers

improvement

swift 6.2

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

Status: Open.

Feature

#76320 In swiftlang/swift;

· ktoso opened on Sep 6, 2024

Source compat project 'vapor_sql-kit' fails on a compilation error

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

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

not a bugResolution → not a bug: Reported as a bug but turned out to be expected behavior or programmer errorResolution → not a bug: Reported as a bug but turned out to be expected behavior or programmer error

source compatibility suiteFlag: An issue that surfaced in the source compatibility suiteFlag: An issue that surfaced in the source compatibility suite

swift 6.1

transfer candidateThe issue may belong in another repositoryThe issue may belong in another repository

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

unexpected errorBug: Unexpected errorBug: Unexpected error

Status: Open.

#75655 In swiftlang/swift;

· xymus opened on Aug 2, 2024

Implicit opened existentials do not work sometimes

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

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

swift 6.0

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

typesFeature: typesFeature: types

unexpected errorBug: Unexpected errorBug: Unexpected error

Status: Open.

#74937 In swiftlang/swift;

· shivatinker opened on Jul 3, 2024

Implicitly open implicitly unwrapped existential optionals

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

featureA feature request or implementationA feature request or implementation

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

implicitly unwrapped optionalsFeature → types: Implicitly unwrapped optional types, aka IUOFeature → types: Implicitly unwrapped optional types, aka IUO

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

typesFeature: typesFeature: types

Status: Open.

#74652 In swiftlang/swift;

· groue opened on Jun 24, 2024

Typo of <code>any</code> vs <code>Any</code> resulted in an unhelpful error message

compilerThe Swift compiler itselfThe Swift compiler itself

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

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

improvement

parserArea → compiler: The legacy C++ parserArea → compiler: The legacy C++ parser

swift 6.1

typesFeature: typesFeature: types

Status: Open.

#73928 In swiftlang/swift;

· mattmassicotte opened on May 27, 2024