Search results

type checker regression on 6.1 in subtyping rules for tuple labels

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

implicit conversionsFeature: implicit conversionsFeature: implicit conversions

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

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

Status: Open.

#80902 In swiftlang/swift;

· tayloraswift opened on Apr 18, 2025

Swift 6 fails to cast inferred function types as return types from implicit @Sendable on return 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.

compilerThe Swift compiler itselfThe Swift compiler itself

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

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

implicit conversionsFeature: implicit conversionsFeature: implicit conversions

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

swift 6.2

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

typesFeature: typesFeature: types

unexpected errorBug: Unexpected errorBug: Unexpected error

Status: Open.

#78769 In swiftlang/swift;

· schifano opened on Jan 21, 2025

Implicit cast from <code>@Sendable</code> functions to non-sendable ones doesn't happen in arbitrary expressions

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

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

implicit conversionsFeature: implicit conversionsFeature: implicit conversions

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

swift 6.2

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

typesFeature: typesFeature: types

unexpected errorBug: Unexpected errorBug: Unexpected error

Status: Open.

#78753 In swiftlang/swift;

· li3zhen1 opened on Jan 20, 2025

Variadic generics cause crash in UsePrespecialized pass

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

genericsFeature: generic declarations and typesFeature: generic declarations and types

implicit conversionsFeature: implicit conversionsFeature: implicit conversions

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

swift 6.0

tuplesFeature: tuplesFeature: tuples

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

typesFeature: typesFeature: types

unexpected errorBug: Unexpected errorBug: Unexpected error

Status: Open.

#73660 In swiftlang/swift;

· JadenGeller opened on May 16, 2024

Spurious warning when assigning a method of a Sendable object to a @Sendable closure

compilerThe Swift compiler itselfThe Swift compiler itself

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

featureA feature request or implementationA feature request or implementation

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

implicit conversionsFeature: implicit conversionsFeature: implicit conversions

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

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

typesFeature: typesFeature: types

Status: Open.

#71541 In swiftlang/swift;

· groue opened on Feb 11, 2024

Runtime crash when calling functions with opaque return types, stored as closures

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

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

genericsFeature: generic declarations and typesFeature: generic declarations and types

implicit conversionsFeature: implicit conversionsFeature: implicit conversions

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

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

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

swift 6.0

typesFeature: typesFeature: types

Status: Open.

#69057 In swiftlang/swift;

· cristik opened on Oct 9, 2023

[SR-15218] Enhance interchangeable CGFloat/Double to allow interchange between optional

compilerThe Swift compiler itselfThe Swift compiler itself

expressionsFeature: expressionsFeature: expressions

featureA feature request or implementationA feature request or implementation

implicit conversionsFeature: implicit conversionsFeature: implicit conversions

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

Status: Open.

#57540 In swiftlang/swift;

· mattyoung opened on Sep 20, 2021

[SR-14063] Crash on function arg to param conversion thick-to-thin

@conventionFeature → attributes: the @convention attributeFeature → attributes: the @convention attribute

attributesFeature: Declaration and type attributesFeature: Declaration and type attributes

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

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

genericsFeature: generic declarations and typesFeature: generic declarations and types

implicit conversionsFeature: implicit conversionsFeature: implicit conversions

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

swift 5.9

Status: Open.

#56452 In swiftlang/swift;

· LucianoPAlmeida opened on Jan 17, 2021