Skip to content

@preconcurrency attribute on conformance to empty-but-not-really protocol has no effect #81110

Open
@an0

Description

@an0

Description

See details here:
https://forums.swift.org/t/preconcurrency-attribute-on-conformance-to-aprotocol-has-no-effect/75313

Reproduction

See details here:
https://forums.swift.org/t/preconcurrency-attribute-on-conformance-to-aprotocol-has-no-effect/75313

Expected behavior

When a protocol inherits from other non-empty protocols it should be treated as non-empty protocol and compiler should allow @preconcurrency attribute on its conformance.

Environment

swift-driver version: 1.115.1 Apple Swift version 6.0.3 (swiftlang-6.0.3.1.10 clang-1600.0.30.1)

Additional information

No response

Metadata

Metadata

Assignees

No one assigned

    Labels

    @preconcurrencyFeature → attributes: The @preconcurrency attributebugA deviation from expected or documented behavior. Also: expected but undesirable behavior.concurrencyFeature: umbrella label for concurrency language featuresconformancesFeature → protocol: protocol conformancestype checkerArea → compiler: Semantic analysis

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions