swift
[ConstraintSystem] Implement sendability inference for key path expressions
#70076
Merged
Overview
Commits
11
Changes
View On GitHub
Commits
  • [AST] NFC: Rename `KeyPathExpr::{get, set}RootType` to `{get, set}ExplicitRootType`
    xedin committed 2 years ago
  • [ConstraintSystem] Extend KeyPathCapability to support sendability
    xedin committed 2 years ago
  • [ConstraintSystem] NFC: Adjust comment for `isKnownKeyPath` to cover all currently checked types
    xedin committed 2 years ago
  • [AST] Add a way to retrieve key path and its root/value types from `KeyPathExpr`
    xedin committed 2 years ago
  • [SIL] Add a way to retrieve key path type from `KeyPathInst`
    xedin committed 2 years ago
  • [CSGen] Any type vars in subscript index arguments should be connected to a key path type
    xedin committed 2 years ago
  • [CSSolver] Handle situations when key path expression has an existential type
    xedin committed 2 years ago
  • [ConstraintSystem] InferSendableFromCaptures: Start inferring sendability of key path expressions
    xedin committed 2 years ago
  • [TypeChecker] Concurrency: Suppress key path sendability diagnostics when `InferSendableFromCaptures` is enabled
    xedin committed 2 years ago
  • [TypeChecker] NFC: Add test-cases verify that sendability of key path exprs is inferred correctly
    xedin committed 2 years ago
  • [Sema/SIL] NFC: Get existential layout directly from an existential type
    xedin committed 2 years ago
FAQ Terms Privacy Refunds Impressum
Loading