Search results

Returning a tuple of closures that utilizes a parameter pack to compiles, but is impossible to use.

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

genericsFeature: generic declarations and typesFeature: generic declarations and types

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

swift 6.0

tuplesFeature: tuplesFeature: tuples

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

type inferenceFeature: type inferenceFeature: type inference

unexpected errorBug: Unexpected errorBug: Unexpected error

Status: Open.

#75563 In swiftlang/swift;

· JessyCatterwaul opened on Jul 30, 2024

Matching a parameter pack to a tuple of closures that utilizes it compiles, but is impossible to use.

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

genericsFeature: generic declarations and typesFeature: generic declarations and types

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

swift 6.0

tuplesFeature: tuplesFeature: tuples

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

type inferenceFeature: type inferenceFeature: type inference

unexpected errorBug: Unexpected errorBug: Unexpected error

Status: Open.

#75558 In swiftlang/swift;

· JessyCatterwaul opened on Jul 30, 2024

Using Self with variadic generic type caused compiler 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

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

pack expansionsFeature → expressions: Pack expansion expressionsFeature → expressions: Pack expansion expressions

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

swift 6.0

tuplesFeature: tuplesFeature: tuples

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

Status: Open.

#74960 In swiftlang/swift;

· rayx opened on Jul 4, 2024

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

Passing parameter pack results in ICE

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

genericsFeature: generic declarations and typesFeature: generic declarations and types

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

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

swift 6.0

tuplesFeature: tuplesFeature: tuples

Status: Open.

#66392 In swiftlang/swift;

· keith opened on Jun 6, 2023

Unboxing fails without 2nd 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.

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

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

tuplesFeature: tuplesFeature: tuples

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

unexpected errorBug: Unexpected errorBug: Unexpected error

Status: Open.

#65282 In swiftlang/swift;

· jasonbobier opened on Apr 19, 2023

Bad diagnostic when matching tuple pattern to existential

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

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

pattern matchingFeature: pattern matchingFeature: pattern matching

patternsFeature: patternsFeature: patterns

swift 5.9

tuplesFeature: tuplesFeature: tuples

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

Status: Open.

#65243 In swiftlang/swift;

· AnthonyLatsis opened on Apr 18, 2023

[SR-1222] A tuple of Equatable types should be Equatable

compilerThe Swift compiler itselfThe Swift compiler itself

conditional conformancesFeature → protocol → conformances: conditional conformancesFeature → protocol → conformances: conditional conformances

conformancesFeature → protocol: protocol conformancesFeature → protocol: protocol conformances

derived conformancesFeature → protocol → conformances: derived conformances aka synthesized conformancesFeature → protocol → conformances: derived conformances aka synthesized conformances

EquatableArea → standard library: The `Equatable` protocolArea → standard library: The `Equatable` protocol

featureA feature request or implementationA feature request or implementation

swift evolution proposal neededFlag → feature: A feature that warrants a Swift evolution proposalFlag → feature: A feature that warrants a Swift evolution proposal

tuplesFeature: tuplesFeature: tuples

typesFeature: typesFeature: types

Status: Open.

#43830 In swiftlang/swift;

· swift-ci opened on Apr 13, 2016

[SR-354] Non-optional variable tuple of optional values should not have default value

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 initializationFeature: Default initialization of variablesFeature: Default initialization of variables

OptionalArea → standard library: The `Optional` typeArea → standard library: The `Optional` type

swift evolution proposal neededFlag → feature: A feature that warrants a Swift evolution proposalFlag → feature: A feature that warrants a Swift evolution proposal

tuplesFeature: tuplesFeature: tuples

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

typesFeature: typesFeature: types

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

Status: Open.

#42974 In swiftlang/swift;

· swift-ci opened on Dec 23, 2015