swift
[SIL] InitAccessors: Support `assign_or_init` in textual SIL
#67593

Merged

[SIL] InitAccessors: Support `assign_or_init` in textual SIL #67593

xedin merged 8 commits into swiftlang:main from xedin:textual-sil-assign_or_init

[AST] InitAccessors: Implement @storageRestrictions attribute printing

cabc5454

[AST] ASTPrinter: Print `init` accessor for SIL

1ece4831

[Parse] InitAccessors: Parse limited representation of `init` accesso…

1a9c2e63

[SIL] InitAccessors: Reference a field that `assign_or_init` is assoc…

ddad2a7d

[SIL] InitAccessors: Adjust SIL printer/parser to support "field" of …

36f65b32

[SILVerifier] NFC: Switch to use `getNumInitializedProperties` accessor

49ef5e61

[Tests] InitAccessors/NFC: Add a textual SIL test-case

aabd1b7f

xedin requested a review from

jckarter 2 years ago

xedin requested a review from

atrick 2 years ago

xedin requested a review from

ahoppen 2 years ago

xedin requested a review from

bnbarham 2 years ago

xedin requested a review from

CodaFi 2 years ago

xedin requested a review from

DougGregor 2 years ago

xedin requested a review from

rintaro 2 years ago

xedin requested a review from

hborla 2 years ago

xedin requested a review from

slavapestov 2 years ago

xedin requested a review from

tshortli 2 years ago

atrick approved these changes on 2023-07-28

[Parser] NFC: Rename `isAllowedInProtocolRequirement` -> `isAllowedWh…

7777ed5b

ahoppen removed review request from

ahoppen 2 years ago

xedin merged a22bd274 into main 2 years ago

Reviewers

atrick

jckarter

bnbarham

CodaFi

DougGregor

rintaro

hborla

slavapestov

tshortli

Assignees

No one assigned

Labels

None yet

Milestone

No milestone

swift [SIL] InitAccessors: Support `assign_or_init` in textual SIL #67593 Merged

[SIL] InitAccessors: Support `assign_or_init` in textual SIL #67593

swift
[SIL] InitAccessors: Support `assign_or_init` in textual SIL
#67593

Merged