Skip to content

Conversation

slavapestov
Copy link
Contributor

@slavapestov slavapestov commented Oct 8, 2025

This wasn't handled properly, as a result specializing a $@moveOnly T did not lower the substituted T, causing an assertion failure if the substituted T was a function type.

Fixes rdar://161968922.

@slavapestov
Copy link
Contributor Author

@swift-ci Please smoke test

@slavapestov
Copy link
Contributor Author

@swift-ci Please test source compatibility

1 similar comment
@slavapestov
Copy link
Contributor Author

@swift-ci Please test source compatibility

@slavapestov
Copy link
Contributor Author

@swift-ci Please test Windows

Copy link
Contributor

@eeckstein eeckstein left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

: value(ty.getPointer(), unsigned(category)) {
if (!ty) return;
assert(ty->isLegalSILType() &&
ASSERT(ty->isLegalSILType() &&
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@slavapestov
Copy link
Contributor Author

@swift-ci Please test Windows

@slavapestov slavapestov enabled auto-merge October 9, 2025 13:01
@slavapestov slavapestov merged commit 804c1f9 into swiftlang:main Oct 9, 2025
5 checks passed
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