@swift-6.2.3 @swift-6.0.3

struct S<K, V> {} extension S: Sendable where K: Sendable {} typealias A<Field: Sendable> = S<Field, String> //extension A: Error {} extension S: Error where K: Sendable {}