Strict safety improvements #78332
DougGregor
merged
16 commits into
swiftlang:main
from
DougGregor:strict-safety-improvements
Migrate "@unchecked Sendable" strict safety diagnostic to become a no…
a86d942e
Diagnose uses of `@unchecked Sendable` conformances, not declarations
55b186c9
Diagnose @preconcurrency imports as a strict safety issue
1230045c
Diagnose the combination of -Ounchecked with strict memory safety
ba3e1978
Allow `@safe(unchecked)` on import decls
75be0d68
Remove WarnUnsafe from the standard library build until we're ready t…
47f21592
Only emit @unsafe warning when strict safety mode is enabled
b6e995e7
Generalize protocol conformance options spelled via attribute and inc…
5b90b885
Mark SerialExecutor.asUnownedSerialExecutor unsafe so conformances do…
3ab5456e
Don't diagnose uses of `@unchecked Sendable` conformances
419c4775
Diagnose the use of a typealias that involves unsafe types
ba23f36f
Account for implicit unsafety in unsafe witness and override checks
4b3c18de
Factor the strict memory safety checking declarations into their own …
92fbedcb
Add module trace information for strict memory safety
d593442c
Fix loaded module trace tests
a2b20f9c
Fix substitutions for generic requirements
0d8b67e7
Xazax-hun
commented
on 2025-01-02
Reviewers
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub