[test] Adding regression tests for SR-15053

Author: LucianoPAlmeida

test/Constraints/diag_ambiguities.swift

@@ -68,3 +68,13 @@ class MoviesViewController {
     _ = itemType // expected-error {{ambiguous use of 'itemType'}}
   }
 }
+
+// SR-15053
+func SR15053<T : Numeric>(_ a: T, _ b: T) -> T {
+  (a + b) / 2 // expected-error{{cannot convert return expression of type 'Int' to return type 'T'}}
+  // expected-error@-1{{cannot convert value of type 'T' to expected argument type 'Int'}}
+}
+
+func SR15053<T : Numeric>(_ a: T, _ b: T) {
+  (a + b) / 2 // expected-error{{cannot convert value of type 'T' to expected argument type 'Int'}}
+}

test/Constraints/rdar40002266.swift

@@ -6,6 +6,6 @@ import Foundation
 struct S {
   init<T: NSNumber>(_ num: T) { // expected-note {{where 'T' = 'Bool'}}
     self.init(num != 0) // expected-error {{initializer 'init(_:)' requires that 'Bool' inherit from 'NSNumber'}}
-    // expected-error@-1 {{referencing operator function '!=' on 'BinaryInteger' requires that 'T' conform to 'BinaryInteger'}}
+    // expected-error@-1 {{cannot convert value of type 'T' to expected argument type 'Int'}}
   }
 }