swift
[ConstraintSystem] Implement sendability inference for key path expressions
#70076
Merged
Merged
[ConstraintSystem] Implement sendability inference for key path expressions #70076
xedin
merged
11 commits into
swiftlang:main
from
xedin:sendable-keypath-literals
[AST] NFC: Rename `KeyPathExpr::{get, set}RootType` to `{get, set}Exp…
1f42585f
[ConstraintSystem] Extend KeyPathCapability to support sendability
2e1ca0a3
[ConstraintSystem] NFC: Adjust comment for `isKnownKeyPath` to cover …
c5d393f0
[AST] Add a way to retrieve key path and its root/value types from `K…
c9a8355c
[SIL] Add a way to retrieve key path type from `KeyPathInst`
229e5801
[CSGen] Any type vars in subscript index arguments should be connecte…
316e8f93
[CSSolver] Handle situations when key path expression has an existent…
d7274956
[ConstraintSystem] InferSendableFromCaptures: Start inferring sendabi…
40c8da66
[TypeChecker] Concurrency: Suppress key path sendability diagnostics …
cfa9905b
[TypeChecker] NFC: Add test-cases verify that sendability of key path…
3d6ddd58
[Sema/SIL] NFC: Get existential layout directly from an existential type
511dad55
Reviewers
Assignees
No one assigned
Labels
swift evolution pending discussion
Milestone
No milestone
Login to write a write a comment.
Login via GitHub