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

Unbound memory growth when using existential with primary associated type in SwiftUI view

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

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

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

hangBug: Execution is not seen to haltBug: Execution is not seen to halt

swift 5.8

Status: Open.

#64974 In swiftlang/swift;

· mbrandonw opened on Apr 6, 2023

Casting to constrained existential in correct availability context fails at link time on older OSs

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

castingFeature: explicit casting (is, as, as? and as!)Feature: explicit casting (is, as, as? and as!)

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>'

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

IRGenLLVM IR generationLLVM IR generation

swift 5.9

unexpected errorBug: Unexpected errorBug: Unexpected error

Status: Open.

#64858 In swiftlang/swift;

· AnthonyLatsis opened on Apr 3, 2023

Having code that casts a generic any RangeExpression&lt;T&gt; will cause app to instantly crash at startup, on iOS 15 devices.

accepts invalidBug: Accepts invalidBug: Accepts invalid

availabilityThe @available attribute and availability checking in generalThe @available attribute and availability checking in general

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

castingFeature: explicit casting (is, as, as? and as!)Feature: explicit casting (is, as, as? and as!)

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>'

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

swift 5.9

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

Status: Open.

#64657 In swiftlang/swift;

· nifly opened on Mar 27, 2023

Optimizer crash

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>'

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

optimized onlyFlag: An issue whose reproduction requires optimized compilationFlag: An issue whose reproduction requires optimized compilation

SILOptimizerArea → compiler: SIL optimization passesArea → compiler: SIL optimization passes

Status: Open.

#62270 In swiftlang/swift;

· dabrahams opened on Nov 27, 2022

Optimiser fails to devirtualise cast to existential followed by immediate unboxing

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

castingFeature: explicit casting (is, as, as? and as!)Feature: explicit casting (is, as, as? and as!)

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>'

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

SILOptimizerArea → compiler: SIL optimization passesArea → compiler: SIL optimization passes

Status: Open.

#62264 In swiftlang/swift;

· karwa opened on Nov 27, 2022