Accept new baselines

Author: ahejlsberg

tests/baselines/reference/genericFunctionInference1.errors.txt

@@ -1,4 +1,4 @@
-tests/cases/compiler/genericFunctionInference1.ts(83,14): error TS2345: Argument of type '<a>(value: { key: a; }) => a' is not assignable to parameter of type '(value: Data) => string'.
+tests/cases/compiler/genericFunctionInference1.ts(88,14): error TS2345: Argument of type '<a>(value: { key: a; }) => a' is not assignable to parameter of type '(value: Data) => string'.
   Type 'number' is not assignable to type 'string'.
 
 
@@ -62,6 +62,11 @@ tests/cases/compiler/genericFunctionInference1.ts(83,14): error TS2345: Argument
 
     const f50 = pipe5(list);  // No higher order inference
 
+    declare function wrap3<A, B, C>(f: (a: A, b1: B, b2: B) => C): (a: A, b1: B, b2: B) => C;
+    declare function baz<T, U extends T>(t1: T, t2: T, u: U): [T, U];
+    
+    let f60 = wrap3(baz);
+    
     // #417
 
     function mirror<A, B>(f: (a: A) => B): (a: A) => B { return f; }

tests/baselines/reference/genericFunctionInference1.js

@@ -58,6 +58,11 @@ declare function pipe5<A, B>(f: (a: A) => B): { f: (a: A) => B };
 
 const f50 = pipe5(list);  // No higher order inference
 
+declare function wrap3<A, B, C>(f: (a: A, b1: B, b2: B) => C): (a: A, b1: B, b2: B) => C;
+declare function baz<T, U extends T>(t1: T, t2: T, u: U): [T, U];
+
+let f60 = wrap3(baz);
+
 // #417
 
 function mirror<A, B>(f: (a: A) => B): (a: A) => B { return f; }
@@ -236,6 +241,7 @@ const f32 = pipe3(list, list);
 const f40 = pipe4([list, box]);
 const f41 = pipe4([box, list]);
 const f50 = pipe5(list); // No higher order inference
+let f60 = wrap3(baz);
 // #417
 function mirror(f) { return f; }
 var identityM = mirror(identity);