Update baselines

sandersn · sandersn · commit 2b630e9ea500 · 2018-01-11T10:08:49.000-08:00
diff --git a/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.errors.txt b/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.errors.txt
@@ -1,13 +1,11 @@
-tests/cases/compiler/incorrectRecursiveMappedTypeConstraint.ts(2,32): error TS2322: Type 'T' is not assignable to type 'string'.
-  Type '{ [P in T]: number; }' is not assignable to type 'string'.
+tests/cases/compiler/incorrectRecursiveMappedTypeConstraint.ts(2,32): error TS2313: Type parameter 'P' has a circular constraint.
 
 
 ==== tests/cases/compiler/incorrectRecursiveMappedTypeConstraint.ts (1 errors) ====
     // #17847
     function sum<T extends { [P in T]: number }, K extends keyof T>(n: number, v: T, k: K) {
                                    ~
-!!! error TS2322: Type 'T' is not assignable to type 'string'.
-!!! error TS2322:   Type '{ [P in T]: number; }' is not assignable to type 'string'.
+!!! error TS2313: Type parameter 'P' has a circular constraint.
         n += v[k];
     }
     
diff --git a/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.types b/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.types
@@ -1,7 +1,7 @@
 === tests/cases/compiler/incorrectRecursiveMappedTypeConstraint.ts ===
 // #17847
 function sum<T extends { [P in T]: number }, K extends keyof T>(n: number, v: T, k: K) {
->sum : <T extends { [P in T]: number; }, K extends keyof T>(n: number, v: T, k: K) => void
+>sum : <T extends { [x: string]: number; }, K extends keyof T>(n: number, v: T, k: K) => void
 >T : T
 >P : P
 >T : T
diff --git a/tests/baselines/reference/recursiveMappedTypes.errors.txt b/tests/baselines/reference/recursiveMappedTypes.errors.txt
@@ -1,25 +1,34 @@
 tests/cases/conformance/types/mapped/recursiveMappedTypes.ts(3,6): error TS2456: Type alias 'Recurse' circularly references itself.
+tests/cases/conformance/types/mapped/recursiveMappedTypes.ts(4,11): error TS2313: Type parameter 'K' has a circular constraint.
 tests/cases/conformance/types/mapped/recursiveMappedTypes.ts(7,6): error TS2456: Type alias 'Recurse1' circularly references itself.
+tests/cases/conformance/types/mapped/recursiveMappedTypes.ts(8,11): error TS2313: Type parameter 'K' has a circular constraint.
 tests/cases/conformance/types/mapped/recursiveMappedTypes.ts(11,6): error TS2456: Type alias 'Recurse2' circularly references itself.
+tests/cases/conformance/types/mapped/recursiveMappedTypes.ts(12,11): error TS2313: Type parameter 'K' has a circular constraint.
 
 
-==== tests/cases/conformance/types/mapped/recursiveMappedTypes.ts (3 errors) ====
+==== tests/cases/conformance/types/mapped/recursiveMappedTypes.ts (6 errors) ====
     // Recursive mapped types simply appear empty
     
     type Recurse = {
          ~~~~~~~
 !!! error TS2456: Type alias 'Recurse' circularly references itself.
         [K in keyof Recurse]: Recurse[K]
+              ~~~~~~~~~~~~~
+!!! error TS2313: Type parameter 'K' has a circular constraint.
     }
     
     type Recurse1 = {
          ~~~~~~~~
 !!! error TS2456: Type alias 'Recurse1' circularly references itself.
         [K in keyof Recurse2]: Recurse2[K]
+              ~~~~~~~~~~~~~~
+!!! error TS2313: Type parameter 'K' has a circular constraint.
     }
     
     type Recurse2 = {
          ~~~~~~~~
 !!! error TS2456: Type alias 'Recurse2' circularly references itself.
         [K in keyof Recurse1]: Recurse1[K]
+              ~~~~~~~~~~~~~~
+!!! error TS2313: Type parameter 'K' has a circular constraint.
     }

Original file line number	Diff line number	Diff line change
`@@ -1,13 +1,11 @@`
`1`		`-tests/cases/compiler/incorrectRecursiveMappedTypeConstraint.ts(2,32): error TS2322: Type 'T' is not assignable to type 'string'.`
`2`		`- Type '{ [P in T]: number; }' is not assignable to type 'string'.`
	`1`	`+tests/cases/compiler/incorrectRecursiveMappedTypeConstraint.ts(2,32): error TS2313: Type parameter 'P' has a circular constraint.`
`3`	`2`
`4`	`3`
`5`	`4`	`==== tests/cases/compiler/incorrectRecursiveMappedTypeConstraint.ts (1 errors) ====`
`6`	`5`	`// #17847`
`7`	`6`	`function sum<T extends { [P in T]: number }, K extends keyof T>(n: number, v: T, k: K) {`
`8`	`7`	`~`
`9`		`-!!! error TS2322: Type 'T' is not assignable to type 'string'.`
`10`		`-!!! error TS2322: Type '{ [P in T]: number; }' is not assignable to type 'string'.`
	`8`	`+!!! error TS2313: Type parameter 'P' has a circular constraint.`
`11`	`9`	`n += v[k];`
`12`	`10`	`}`
`13`	`11`