Holly Borla
Holly Borla
The following code produces `Type of expression is ambiguous without more context` ```swift func configure( _ item: T, with configuration: repeat (ReferenceWritableKeyPath, each Element) ) -> T { repeat item[keyPath:...
The following code is invalid: ```swift protocol P { associatedtype A } func generic(value: P) {} ``` The compiler currently produces the error message `Use of protocol 'P' as a...
The type checker does not support the notion of multiple protocol conformances; there can only be one conformance, and if that conformance is unavailable, you cannot specify your own available...
### Motivation Today, the actor isolation diagnostics are pretty confusing, especially if they come from a custom executor, which does not have as much information as the concurrency runtime about...
This feature is gated behind the `DefaultIsolationTypealias` experimental feature flag. Pitch discussion is at https://forums.swift.org/t/pitch-a-typealias-for-per-file-default-actor-isolation/79150. Please leave design feedback on the forums!
This change adds documentation for isolation inference from class inheritance, overridden methods, and protocol conformances. These rules are buried in old proposal documents, and they deserve documentation in TSPL, especially...
This change introduces a section on global-actor isolated protocol conformances, which were introduced in [SE-0470](https://github.com/swiftlang/swift-evolution/blob/main/proposals/0470-isolated-conformances.md). Fixes: rdar://148361008
This change adds a chapter to the TSPL Language Reference on data-race safety. This is meant to be an exhaustive list of semantic rules that define away low-level data races...