Add support for borrow and mutate protocol constraints #86496
meg-gupta
merged
19 commits into
swiftlang:main
from
meg-gupta:borrowprotopr
tbkka
commented
on 2026-01-13
mikeash
commented
on 2026-01-14
Add Parser support for borrow and mutate protocol constraints
5676bfc4
[NFC] Rename OpaqueReadOwnership::Borrowed -> OpaqueReadOwnership::Yi…
6ea081e5
Add OpaqueReadOwnership::Borrow
7ec9cbfb
Update serialization/deserialization for the new OpaqueReadOwnership …
0f4790ac
Remove incorrect checks while querying opaque access strategy
58e514b9
Update borrow and mutate accessors as opaque accessors
a3adcf10
Synthesize borrow/mutate accessors from stored properties when borrow…
686eb94a
Update protocol witness SILGen for borrow accessors
e3f8d123
Add diagnostic when conforming a borrow/mutate requirement without a …
a3261aa3
Rename checkWitnessForRequirement to checkWitnessAccessor and move so…
0195dbb7
[NFC] Update borrow/mutate requirement test with yielding borrow and …
319aeec9
Support borrow and mutate accessors in IsAccessorTransparentRequest::…
67842e93
Update SerializationKind for borrowing accessors
04db3ba0
[NFC] Update borrow/mutate protocol test with a frozen conformer
bfc88b41
Don't add setter and modify to witness tables when a protocol has a m…
7826d601
Remove unnecessary Borrow and Mutate kinds from method descriptors an…
7c6b13f5
[NFC] Add serialization tests for borrow/mutate protocol requirements
907fa198
[NFC] Add serialization tests for get/set requirements satisfied by b…
07e945fe
[NFC] Add ~Copyable versions to the borrow/mutate protocol tests
88ede1f0
Reviewers
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub