Search results

Trailing closures are wrongly accepted for enum-case-patterns

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.

closuresFeature: closuresFeature: closures

compilerThe Swift compiler itselfThe Swift compiler itself

enum case patternsFeature → patterns: Enumeration case patternsFeature → patterns: Enumeration case patterns

patternsFeature: patternsFeature: patterns

swift 6.2

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

Status: Open.

#79047 In swiftlang/swift;

· rintaro opened on Jan 30, 2025

Missing <code>any</code> not diagnosed in <code>borrowing ~(Copyable &amp; Copyable)</code>

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

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

swift 6.2

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

typesFeature: typesFeature: types

Status: Open.

#78936 In swiftlang/swift;

· AnthonyLatsis opened on Jan 27, 2025

[AutoDiff] Crash when protocol conditional conformance to Differentiable is missed

accepts invalidBug: Accepts invalidBug: Accepts invalid

AutoDiff

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

conformancesFeature → protocol: protocol conformancesFeature → protocol: protocol conformances

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

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

Status: Open.

#78370 In swiftlang/swift;

· kovdan01 opened on Dec 27, 2024

Swift Compiler crashes when using a weak self inside a callback

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.

c interopFeature: Interoperability with CFeature: Interoperability with C

closuresFeature: closuresFeature: closures

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

SIL

swift 6.0

Status: Open.

#78366 In swiftlang/swift;

· tapthaker opened on Dec 26, 2024

Correctly set the FunctionRefKind for enum element patterns

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

expressionsFeature: expressionsFeature: expressions

function referencesFeature: function references as in 'foo(bar:baz:)'Feature: function references as in 'foo(bar:baz:)'

swift 6.0

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

Status: Open.

#77803 In swiftlang/swift;

· hamishknight opened on Nov 22, 2024

It’s possible to write arbitrary text after specifying the @MainActor for a closure.

accepts invalidBug: Accepts invalidBug: Accepts invalid

actor isolationFeature → concurrency: Actor isolationFeature → concurrency: Actor isolation

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

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

swift 6.1

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

Status: Open.

#76540 In swiftlang/swift;

· omochi opened on Sep 18, 2024

Data race safety regression with non-sendable class in Swift 6 compiler

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

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

Status: Open.

#76003 In swiftlang/swift;

· jamieQ opened on Aug 21, 2024

Constants of type Never used in switch statements do not trigger error for use of uninitialized constant, leading to runtime crash

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

definite initializationArea → compiler → SIL: Definite initializationArea → compiler → SIL: Definite initialization

let & varFeature: constant and variable declarationsFeature: constant and variable declarations

NeverArea → standard library: The `Never` typeArea → standard library: The `Never` type

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

statementsFeature: statementsFeature: statements

swift 6.0

switchFeature → statements: 'switch' statementsFeature → statements: 'switch' statements

Status: Open.

Bug

#74478 In swiftlang/swift;

· schuelermine opened on Jun 17, 2024

Missing <code>any</code> not diagnosed if protocol is a qualifier.

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

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

qualified identifier typesFeature → types: Qualified identifier typesFeature → types: Qualified identifier types

swift 6.2

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

typesFeature: typesFeature: types

Status: Open.

#72678 In swiftlang/swift;

· AnthonyLatsis opened on Mar 28, 2024

Runtime crash when using unsafeUninitializedCapacity incorrectly

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.

closuresFeature: closuresFeature: closures

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

definite initializationArea → compiler → SIL: Definite initializationArea → compiler → SIL: Definite initialization

expressionsFeature: expressionsFeature: expressions

global let & varFeature: global constants and variablesFeature: global constants and variables

memory safetyFeature: memory safetyFeature: memory safety

SIL

swift 6.0

Status: Open.

#70323 In swiftlang/swift;

· aaron-foreflight opened on Dec 8, 2023

Module functions can access uninitialized main.swift globals

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

definite initializationArea → compiler → SIL: Definite initializationArea → compiler → SIL: Definite initialization

global let & varFeature: global constants and variablesFeature: global constants and variables

memory safetyFeature: memory safetyFeature: memory safety

SIL

swift 6.0

Status: Open.

#69535 In swiftlang/swift;

· tristanlabelle opened on Oct 31, 2023

Unexpected Behavior in Swift 5.9 with <code>~Copyable</code> and <code>consuming</code> in For Loop

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.

for-in loopsFeature: for-in loopsFeature: for-in loops

noncopyable struct/enumFeature → declarations: Noncopyable value type declarationsFeature → declarations: Noncopyable value type declarations

structFeature → type declarations: Structure declarationsFeature → type declarations: Structure declarations

swift 5.9

Status: Open.

#68230 In swiftlang/swift;

· ojun9 opened on Aug 31, 2023