Skip to content

SIL: Use the right generic signature for computing SIL function type for coroutine accessors #61063

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
Sep 20, 2022

Conversation

slavapestov
Copy link
Contributor

The function type's generic signature will have already been dropped at this point if all generic parameters were fully concrete, so use the original generic signature to compute the reduced type of the yield type.

Fixes #61040.

@slavapestov
Copy link
Contributor Author

@swift-ci Please smoke test

…for coroutine accessors

The function type's generic signature will have already been dropped
at this point if all generic parameters were fully concrete, so use
the original generic signature to compute the reduced type of the
yield type.

Fixes swiftlang#61040.
@slavapestov slavapestov force-pushed the sil-function-type-coroutine branch from 71d639c to e584195 Compare September 19, 2022 22:22
@slavapestov
Copy link
Contributor Author

@swift-ci Please smoke test

@slavapestov
Copy link
Contributor Author

@swift-ci Please smoke test macOS

@slavapestov slavapestov merged commit 4c4e3b0 into swiftlang:main Sep 20, 2022
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.

(include/swift/SIL/AbstractionPattern.h) Assertion `signature || !origType->hasTypeParameter()' failed.
1 participant