Search results

Request cycle when generic parameter witnesses associated type requirement

associated type inference

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

Status: Open.

#82221 In swiftlang/swift;

· jeremyabannister opened on Jun 12, 2025

Reference to invalid type alias when using same type requirement, plus a cohabiting class in the same scope

associated type inference

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

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

Status: Open.

#81683 In swiftlang/swift;

· tayloraswift opened on May 21, 2025

Compiler crash with complex protocol with associated types (ConcreteTypeMatcher::verify(): Duplicate substitution AND Rewrite system exceeded concrete type nesting depth limit)

associated type inference

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

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

Status: Open.

#77099 In swiftlang/swift;

· technicated opened on Oct 18, 2024

Concrete implementation of a generic protocol does not inherit the type aliases from the generic protocol

associated type inference

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

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

Status: Open.

#61712 In swiftlang/swift;

· coinbump opened on Oct 25, 2022

[SR-11725] No fixit to add stubs when conforming to Sequence or Collection

associated type inference

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

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

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

Status: Open.

#54134 In swiftlang/swift;

· NevinBR opened on Nov 6, 2019

[SR-11417] Failure to infer associated type

associated type inference

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

Status: Open.

#53818 In swiftlang/swift;

· jeremyabannister opened on Sep 4, 2019

[SR-8702] Attempt to use associatedtype auto detect using the method of the nested protocol cause compiler error

associated type inference

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

Status: Open.

#51215 In swiftlang/swift;

· swift-ci opened on Sep 5, 2018

[SR-7674] Compiler crash while working on a type erasurer

associated type inference

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

declarationsFeature: declarationsFeature: declarations

protocolFeature → type declarations: Protocol declarationsFeature → type declarations: Protocol declarations

swift 5.9

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

typealiasFeature → type declarations: `typealias` declarationsFeature → type declarations: `typealias` declarations

unexpected errorBug: Unexpected errorBug: Unexpected error

Status: Open.

#50214 In swiftlang/swift;

· swift-ci opened on May 13, 2018

[SR-7605] Overly-exuberant associatedtype deduction?

accepts invalidBug: Accepts invalidBug: Accepts invalid

associated type inference

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

default implementationsFeature → protocol → conformances: default implementationsFeature → protocol → conformances: default implementations

generic constraintsFeature → generics: generic constraintsFeature → generics: generic constraints

genericsFeature: generic declarations and typesFeature: generic declarations and types

swift 6.0

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

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

Status: Open.

#50147 In swiftlang/swift;

· dabrahams opened on May 4, 2018

[SR-2235] Redeclared associatedtype inference not working

associated type inference

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

swift 6.0

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

unexpected errorBug: Unexpected errorBug: Unexpected error

Status: Open.

#44842 In swiftlang/swift;

· swift-ci opened on Aug 1, 2016