Skip to content

6.0 conformance regression with abstract type witness #75504

New issue
New issue
Open
Open
6.0 conformance regression with abstract type witness#75504
Labels
associatedtypeFeature → declarations → protocol: `associatedtype` declarationsbugA deviation from expected or documented behavior. Also: expected but undesirable behavior.compilerThe Swift compiler itselfconformancesFeature → protocol: protocol conformancesextensionFeature → declarations: `extension` declarationsregressionswift 6.0type checkerArea → compiler: Semantic analysisunexpected errorBug: Unexpected error
@AnthonyLatsis

Description

@AnthonyLatsis
AnthonyLatsis
opened on Jul 26, 2024

Description

No response

Reproduction

protocol P { associatedtype A } protocol Q: P where A == Void {} struct S {} extension S: Q {} extension S: P {}

Expected behavior

Successful compilation

Environment

Swift version 6.0-dev (LLVM c7c87ee42989d4b, Swift 8493312)
Target: x86_64-apple-macosx14.0

Additional information

No response

Metadata

Metadata

Assignees

No one assigned

    Labels

    associatedtypeFeature → declarations → protocol: `associatedtype` declarationsbugA deviation from expected or documented behavior. Also: expected but undesirable behavior.compilerThe Swift compiler itselfconformancesFeature → protocol: protocol conformancesextensionFeature → declarations: `extension` declarationsregressionswift 6.0type checkerArea → compiler: Semantic analysisunexpected errorBug: Unexpected error

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions