// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk) -typecheck -verify %s | |
// REQUIRES: objc_interop | |
import Foundation | |
protocol P {} | |
class C { | |
init<T: NSObject>(values: [T]) where T: P {} | |
} | |
func foo<T: NSObject>(value: T) where T: P { | |
_ = C(values: [value]) // Ok | |
} |