protocol P { } struct S<T> {} extension S: P where T: Sendable {} func main(a: Any) { ... }