Add a test for bad diagnostic on '&&'.

rudkx · rudkx · commit 5701d50cc537 · 2016-11-02T15:32:29.000-07:00
This was fixed (probably by dd01b7e), so we should make sure it doesn't regress in the future.
diff --git a/test/Constraints/diagnostics.swift b/test/Constraints/diagnostics.swift
@@ -737,6 +737,11 @@ extension Foo23752537 {
   }
 }
 
+// <rdar://problem/27391581> QoI: Nonsensical "binary operator '&&' cannot be applied to two 'Bool' operands"
+func rdar27391581(_ a : Int, b : Int) -> Int {
+  return a == b && b != 0
+  // expected-error @-1 {{cannot convert return expression of type 'Bool' to return type 'Int'}}
+}
 
 // <rdar://problem/22276040> QoI: not great error message with "withUnsafePointer" sametype constraints
 func read2(_ p: UnsafeMutableRawPointer, maxLength: Int) {}

Original file line number	Diff line number	Diff line change
`@@ -737,6 +737,11 @@ extension Foo23752537 {`
`737`	`737`	`}`
`738`	`738`	`}`
`739`	`739`
	`740`	`+// <rdar://problem/27391581> QoI: Nonsensical "binary operator '&&' cannot be applied to two 'Bool' operands"`
	`741`	`+func rdar27391581(_ a : Int, b : Int) -> Int {`
	`742`	`+ return a == b && b != 0`
	`743`	`+ // expected-error @-1 {{cannot convert return expression of type 'Bool' to return type 'Int'}}`
	`744`	`+}`
`740`	`745`
`741`	`746`	`// <rdar://problem/22276040> QoI: not great error message with "withUnsafePointer" sametype constraints`
`742`	`747`	`func read2(_ p: UnsafeMutableRawPointer, maxLength: Int) {}`