From 2b630e9ea5002b5a5bf7219d32e71e26e4e56a82 Mon Sep 17 00:00:00 2001
From: Nathan Shively-Sanders <293473+sandersn@users.noreply.github.com>
Date: Thu, 11 Jan 2018 10:08:49 -0800
Subject: [PATCH] Update baselines

---
 .../incorrectRecursiveMappedTypeConstraint.errors.txt |  6 ++----
 .../incorrectRecursiveMappedTypeConstraint.types      |  2 +-
 .../reference/recursiveMappedTypes.errors.txt         | 11 ++++++++++-
 3 files changed, 13 insertions(+), 6 deletions(-)

diff --git a/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.errors.txt b/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.errors.txt
index 8773f92549f..5300c97a576 100644
--- 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];
     }
     
\ No newline at end of file
diff --git a/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.types b/tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.types
index 9dee691eaf0..b6589956216 100644
--- 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
index 440825f5319..8279f4f60a6 100644
--- 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.
     }
\ No newline at end of file