Skip to content

[ParseableInterfaces] Handle unsatisfiable conditional conformances #20433

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

Merged

Conversation

jrose-apple
Copy link
Contributor

...by printing them with a dummy, unsatisfiable condition. This happens when a public type conforms to a public protocol with non-public conditions; the conformance can't be used in inlinable code, but neither is it okay for a client to declare their own conformance (constrained or unconstrained).

rdar://problem/45657450. See also the forum thread at https://forums.swift.org/t/parseable-interfaces-conditional-conformances-with-non-public-conditions-are-problematic/17747/.

@jrose-apple
Copy link
Contributor Author

@swift-ci Please test

@swift-ci
Copy link
Contributor

swift-ci commented Nov 8, 2018

Build failed
Swift Test Linux Platform
Git Sha - 39fbb26e2a198f94ad23a3d0140d87e329eec845

...by printing them with a dummy, unsatisfiable condition. This
happens when a public type conforms to a public protocol with
non-public conditions; the conformance can't be used in inlinable
code, but neither is it okay for a client to declare their own
conformance (constrained or unconstrained).

rdar://problem/45657450
@jrose-apple jrose-apple force-pushed the another-unsatisfied-customer branch from 39fbb26 to 3235fb2 Compare November 9, 2018 00:31
@jrose-apple
Copy link
Contributor Author

@swift-ci Please test

@swift-ci
Copy link
Contributor

swift-ci commented Nov 9, 2018

Build failed
Swift Test OS X Platform
Git Sha - 39fbb26e2a198f94ad23a3d0140d87e329eec845

@swift-ci
Copy link
Contributor

swift-ci commented Nov 9, 2018

Build failed
Swift Test Linux Platform
Git Sha - 39fbb26e2a198f94ad23a3d0140d87e329eec845

@jrose-apple jrose-apple merged commit ff7d03f into swiftlang:master Nov 9, 2018
@jrose-apple jrose-apple deleted the another-unsatisfied-customer branch November 9, 2018 16:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants