Iceman

@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)

exit status 1 with stderr:

<stdin>:6:1: error: type 'K' does not conform to the 'Sendable' protocol 4 | typealias A<Field: Sendable> = S<Field, String> 5 | 6 | extension A: Error {} | `- error: type 'K' does not conform to the 'Sendable' protocol 7 | //extension S: Error where K: Sendable {} 8 |

(edited)