Current: protocol P { } struct S<T> {} extension S: P where T: Sendable {} // Conditional conformance to non-marker protocol 'P' cannot depend on conformance of 'T' to non-mar...