// 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
}