swift
Effects: Treat #selector as covering throws/async effects in its operand
#81853

Merged

Effects: Treat #selector as covering throws/async effects in its operand #81853

DougGregor merged 1 commit into swiftlang:main from DougGregor:objc-selector-effects

DougGregor requested a review from

hborla 164 days ago

DougGregor requested a review from

slavapestov 164 days ago

DougGregor requested a review from

xedin 164 days ago

Effects: Treat #selector as covering throws/async effects in its operand

73031240

DougGregor force pushed to 73031240 163 days ago

DougGregor changed the title ~~Effects: do not recurse into #selector effects because the code never runs~~ Effects: Treat #selector as covering throws/async effects in its operand 163 days ago

DougGregor enabled auto-merge 163 days ago

DougGregor merged 31fe75bc into main 163 days ago

DougGregor deleted the objc-selector-effects branch 163 days ago

Reviewers

hborla

slavapestov

xedin

Assignees

No one assigned

Labels

None yet

Milestone

No milestone

swift Effects: Treat #selector as covering throws/async effects in its operand #81853 Merged

Effects: Treat #selector as covering throws/async effects in its operand #81853

swift
Effects: Treat #selector as covering throws/async effects in its operand
#81853

Merged