Skip to content

Don't Force the Interface Type While Checking Isolation #37141

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
merged 1 commit into from
Apr 30, 2021

Conversation

CodaFi
Copy link
Contributor

@CodaFi CodaFi commented Apr 29, 2021

Asking for Sendable conformances on this path is going to lead to
a traversal of the stored properties of the type. If there is an
interface type computation ongoing, as is very likely the case, this
traversal can wind up causing a cycle when it forces the interface type
of a member once again.

Request only the non-structural conformances to break the cycle.

rdar://77189542

@CodaFi CodaFi requested a review from DougGregor April 29, 2021 19:03
@CodaFi
Copy link
Contributor Author

CodaFi commented Apr 29, 2021

@swift-ci smoke test

@CodaFi CodaFi changed the title Don't Force the Interface Type While Checking Sendable Don't Force the Interface Type While Checking Isolation Apr 29, 2021
Asking for Sendable conformances on this path is going to lead to
a traversal of the stored properties of the type. If there is an
interface type computation ongoing, as is very likely the case, this
traversal can wind up causing a cycle when it forces the interface type
of a member once again.

Request only the non-structural conformances to break the cycle.

rdar://77189542
@CodaFi
Copy link
Contributor Author

CodaFi commented Apr 29, 2021

@swift-ci smoke test

@CodaFi CodaFi merged commit 6d37167 into swiftlang:main Apr 30, 2021
@CodaFi CodaFi deleted the heaven-send branch April 30, 2021 15:50
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.

2 participants