Search results

generic prespecialization causes crash on Windows

genericsFeature: generic declarations and typesFeature: generic declarations and types

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

WindowsPlatform: WindowsPlatform: Windows

Status: Open.

#84780 In swiftlang/swift;

· compnerd opened on Oct 9, 2025

Crash in <code>getRelativeTermForType</code> for <code>where</code> clause with equality between pack expansion and parent generic param

assertion failureBug → crash: An assertion failureBug → crash: An assertion failure

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

genericsFeature: generic declarations and typesFeature: generic declarations and types

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

swift 6.3

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

Status: Open.

Bug

#84490 In swiftlang/swift;

· hamishknight opened on Sep 24, 2025

Command SwiftCompile failed with a nonzero exit code

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

crashBug: A crash, i.e., an abnormal termination of softwareBug: A crash, i.e., an abnormal termination of software

genericsFeature: generic declarations and typesFeature: generic declarations and types

Status: Open.

#84444 In swiftlang/swift;

· jeremyabannister opened on Sep 22, 2025

Pack type inference fails for <code>T == (repeat each A, U, repeat each B)</code>

compilerThe Swift compiler itselfThe Swift compiler itself

genericsFeature: generic declarations and typesFeature: generic declarations and types

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

swift 6.2

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

unexpected errorBug: Unexpected errorBug: Unexpected error

Status: Open.

Bug

#82403 In swiftlang/swift;

· AnthonyLatsis opened on Jun 22, 2025

[C++ interop] Function from other Swift module not found if it returns C++ template class

c++ interopFeature: Interoperability with C++Feature: Interoperability with C++

c++ to swiftFeature → c++ interop: c++ to swiftFeature → c++ interop: c++ to swift

compilerThe Swift compiler itselfThe Swift compiler itself

genericsFeature: generic declarations and typesFeature: generic declarations and types

multiple modulesFlag: An issue whose reproduction requires multiple modulesFlag: An issue whose reproduction requires multiple modules

swift 6.2

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

Status: Open.

Bug

#82297 In swiftlang/swift;

· AnthonyLatsis opened on Jun 17, 2025

Infinite loop of swift_getAssociatedConformanceWitnessSlow

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

crashBug: A crash, i.e., an abnormal termination of softwareBug: A crash, i.e., an abnormal termination of software

genericsFeature: generic declarations and typesFeature: generic declarations and types

Status: Open.

#82211 In swiftlang/swift;

· jeremyabannister opened on Jun 12, 2025

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

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

Compiler warnings for opaque return types do not explain the problem fully, making it hard to understand

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

genericsFeature: generic declarations and typesFeature: generic declarations and types

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

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

swift 6.2

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

Status: Open.

#80226 In swiftlang/swift;

· bolsinga opened on Mar 22, 2025

Pack expansion with element archetype crashes compiler

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

genericsFeature: generic declarations and typesFeature: generic declarations and types

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

pack iterationFeature → statements → for-in: Pack iterationFeature → statements → for-in: Pack iteration

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

swift 6.2

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

Status: Open.

#78934 In swiftlang/swift;

· hamishknight opened on Jan 26, 2025

Chaining type pack breaks type inference and fails to compile

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

genericsFeature: generic declarations and typesFeature: generic declarations and types

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

swift 6.2

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

type inferenceFeature: type inferenceFeature: type inference

unexpected errorBug: Unexpected errorBug: Unexpected error

Status: Open.

#78725 In swiftlang/swift;

· stephencelis opened on Jan 17, 2025

Compiler crash with 'lazy var' that references element archetype

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

genericsFeature: generic declarations and typesFeature: generic declarations and types

pack iterationFeature → statements → for-in: Pack iterationFeature → statements → for-in: Pack iteration

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

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

swift 6.2

Status: Open.

Bug

#78690 In swiftlang/swift;

· hamishknight opened on Jan 16, 2025