Search results

Variadic generic default argument does not work for single element cases

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 argumentsFeature: default arguments for value parametersFeature: default arguments for value parameters

genericsFeature: generic declarations and typesFeature: generic declarations and types

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

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

Status: Open.

#81741 In swiftlang/swift;

· hamishknight opened on May 23, 2025

Compiler crash when using closure default value involving generics

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

default argumentsFeature: default arguments for value parametersFeature: default arguments for value parameters

genericsFeature: generic declarations and typesFeature: generic declarations and types

methodsFeature → functions: methods (member functions)Feature → functions: methods (member functions)

swift 6.0

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

Status: Open.

#75320 In swiftlang/swift;

· theblixguy opened on Jul 18, 2024

Incorrect (but understandable) fix-it for missing labels on a function with non-final default arguments

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

call expressionsFeature → expressions: Call expressionsFeature → expressions: Call expressions

compilerThe Swift compiler itselfThe Swift compiler itself

default argumentsFeature: default arguments for value parametersFeature: default arguments for value parameters

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

expressionsFeature: expressionsFeature: expressions

fix-itsFeature: diagnostic fix-itsFeature: diagnostic fix-its

swift 5.9

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

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

Status: Open.

#72208 In swiftlang/swift;

· jrose-signal opened on Mar 9, 2024

Default expression for inference works for static methods but not functions

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

default argumentsFeature: default arguments for value parametersFeature: default arguments for value parameters

funcFeature → declarations: FunctionsFeature → declarations: Functions

genericsFeature: generic declarations and typesFeature: generic declarations and types

swift 5.9

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

type inferenceFeature: type inferenceFeature: type inference

unexpected errorBug: Unexpected errorBug: Unexpected error

Status: Open.

#67680 In swiftlang/swift;

· adamkuipers opened on Aug 2, 2023

Default parameter is not leveraged when the variable that is assigned the function with the default argument is called

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 argumentsFeature: default arguments for value parametersFeature: default arguments for value parameters

expressionsFeature: expressionsFeature: expressions

function parametersFeature → declarations: function parametersFeature → declarations: function parameters

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

function valuesFeature → expressions: function valuesFeature → expressions: function 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

swift 5.8

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

Status: Open.

#65092 In swiftlang/swift;

· andrewkykoo opened on Apr 12, 2023

Default argument not type-checked causing 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

default argumentsFeature: default arguments for value parametersFeature: default arguments for value parameters

genericsFeature: generic declarations and typesFeature: generic declarations and types

swift 5.9

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

verifier

Status: Open.

#65090 In swiftlang/swift;

· AnthonyLatsis opened on Apr 12, 2023

Default argument establishing type relationship between type parameters not rejected

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

default argumentsFeature: default arguments for value parametersFeature: default arguments for value parameters

genericsFeature: generic declarations and typesFeature: generic declarations and types

swift 5.9

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

type inferenceFeature: type inferenceFeature: type inference

Status: Open.

#65089 In swiftlang/swift;

· AnthonyLatsis opened on Apr 12, 2023

Default arguments cannot be used if they would define another generic parameter's 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

default argumentsFeature: default arguments for value parametersFeature: default arguments for value parameters

genericsFeature: generic declarations and typesFeature: generic declarations and types

swift 5.9

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

type inferenceFeature: type inferenceFeature: type inference

unexpected errorBug: Unexpected errorBug: Unexpected error

Status: Open.

#65035 In swiftlang/swift;

· JessyCatterwaul opened on Apr 9, 2023

Compiler crash when emitting SIL

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

default argumentsFeature: default arguments for value parametersFeature: default arguments for value parameters

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

function parametersFeature → declarations: function parametersFeature → declarations: function parameters

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

inoutFeature → types: `inout` typesFeature → types: `inout` types

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

swift 5.9

typesFeature: typesFeature: types

variadic parametersFeature → declarations → function parameters: Variadic function parametersFeature → declarations → function parameters: Variadic function parameters

Status: Open.

#64559 In swiftlang/swift;

· jpsim opened on Mar 23, 2023

New Opening Existentials edge case? Should it be possible to open an existential default argument 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 argumentsFeature: default arguments for value parametersFeature: default arguments for value parameters

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 5.9

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

Status: Open.

#64481 In swiftlang/swift;

· johnno1962 opened on Mar 20, 2023

Type inference for default expressions (SE-347) generic closure issue

closuresFeature: closuresFeature: closures

compilerThe Swift compiler itselfThe Swift compiler itself

default argumentsFeature: default arguments for value parametersFeature: default arguments for value parameters

featureA feature request or implementationA feature request or implementation

genericsFeature: generic declarations and typesFeature: generic declarations and types

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

type inferenceFeature: type inferenceFeature: type inference

Status: Open.

#63749 In swiftlang/swift;

· stephencelis opened on Feb 17, 2023

Default argument of closure is inferred as throwing even if the default value doesn’t throw

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 argumentsFeature: default arguments for value parametersFeature: default arguments for value parameters

error handling

swift 5.9

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

unexpected errorBug: Unexpected errorBug: Unexpected error

Status: Open.

#63285 In swiftlang/swift;

· ahoppen opened on Jan 28, 2023