Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

(lib/SymbolGraphGen) conformance conditions do not match generic constraints of associated extension block #76559

Open
tayloraswift opened this issue Sep 18, 2024 · 0 comments
Labels
bug A deviation from expected or documented behavior. Also: expected but undesirable behavior. triage needed This issue needs more specific labels

Comments

@tayloraswift
Copy link
Member

tayloraswift commented Sep 18, 2024

Description

when emitting symbol graphs for the swift-atomics package, lib/SymbolGraphGen will record an extension block on sSP (UnsafePointer) with no generic constraints, but it will also emit a conformsTo edge to s7Atomics11AtomicValueP (AtomicValue) from the extension block with the conditions Pointee: Copyable, Pointee: Escapable

Reproduction

clone swift-atomics at 1.1.0, and generate the symbol graph with -emit-extension-block-symbols

Expected behavior

the extension block and the conformance edges emanating from the block should always match, so either the extension block needs to include the Pointee: Copyable, Pointee: Escapable clauses, or they should be removed from the conformance edge.

Environment

Swift version 6.0 (swift-6.0-RELEASE)
Target: x86_64-unknown-linux-gnu

Additional information

No response

@tayloraswift tayloraswift added bug A deviation from expected or documented behavior. Also: expected but undesirable behavior. triage needed This issue needs more specific labels labels Sep 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug A deviation from expected or documented behavior. Also: expected but undesirable behavior. triage needed This issue needs more specific labels
Projects
None yet
Development

No branches or pull requests

1 participant