Tighten up `unsafe` effects checking #78585
DougGregor
merged
10 commits into
swiftlang:main
from
DougGregor:more-unsafe-effects-checking
Ensure that we record the `@unsafe` for conformances introduced via e…
f14baef7
Tighten up checking for uses of unsafe conformances
37bfa199
Generalize declaration-reference checking in the effects checker
16b0538f
Extend effects checking to the various expressions that reference dec…
d787c0fa
Diagnose unsafe sequences in the for..in loop
44647449
Diagnose 'unsafe' within explicit references to types in expressions
d6c020d8
Check 'unsafe' within keypaths
fc632b2c
Handle autoclosures for 'unsafe' effects checking
2fc9ac08
Remove unused tracking of unsafe uses in the effects checker
a0ebd877
Ensure that the effects checker understands what declaration referenc…
ff2ef7a2
Reviewers
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub