@swift-5.7.3 struct S<T> {} extension S: Sendable where T: Sendable {}