@swift-6.2.3 @swift-6.0.3 -swift-version 6

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 {}

(edited)