Skip to content

OpaqueValues: borrow accessor support#90561

Draft
kavon wants to merge 2 commits into
swiftlang:mainfrom
kavon:ov/fixes-4
Draft

OpaqueValues: borrow accessor support#90561
kavon wants to merge 2 commits into
swiftlang:mainfrom
kavon:ov/fixes-4

Conversation

@kavon

@kavon kavon commented Jul 9, 2026

Copy link
Copy Markdown
Member

TBD

kavon added 2 commits July 8, 2026 12:05
We don't change the result of a SILFunctionType based
on whether we've lowered addresses for address-only types.
For those, we provide only the "formal" convention answers
corresponding to the post-AddressLowering state. This refactoring
gets `isAddressResult` and its friends that were added for
borrow accessors to be aligned with that design pattern.

For callers at a stage prior to AddressLowering, they should be
relying on SILFunctionConventions instead.
This set of changes adds some of the missing support for borrow/inout
accessors to SILGen and AddressLowering.

rdar://180980139
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.

1 participant