test/Constraints/sr12964.swift - third_party/swift - Git at Google

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

 protocol P {}
 typealias T = (P) -> Void
 let x: T! = [1, 2, 3].reversed().reduce()
 // expected-error@-1 {{missing arguments for parameters #1, #2 in call}}
	// RUN: %target-typecheck-verify-swift

	protocol P {}
	typealias T = (P) -> Void
	let x: T! = [1, 2, 3].reversed().reduce()
	// expected-error@-1 {{missing arguments for parameters #1, #2 in call}}