Iceman

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

exit status 1 with stderr:

<stdin>:7:1: error: conditional conformance to non-marker protocol 'Error' cannot depend on conformance of 'K' to marker protocol 'Sendable' 5 | 6 | //extension A: Error {} 7 | extension S: Error where K: Sendable {} | `- error: conditional conformance to non-marker protocol 'Error' cannot depend on conformance of 'K' to marker protocol 'Sendable' 8 |