test/Constraints/sr9102.swift

// RUN: %target-typecheck-verify-swift

func test(_ a: [Int], _ f: ((Int) -> Bool)?) {
  _ = a.filter(f!)
}