From 9639434d725a0acc997569911ec0f7f4e5166b5e Mon Sep 17 00:00:00 2001 From: Anders Hejlsberg Date: Mon, 4 Feb 2019 17:37:11 -0800 Subject: [PATCH] Accept new baselines --- tests/baselines/reference/recursiveMappedTypes.errors.txt | 5 ++++- tests/baselines/reference/recursiveMappedTypes.types | 6 +++--- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/tests/baselines/reference/recursiveMappedTypes.errors.txt b/tests/baselines/reference/recursiveMappedTypes.errors.txt index b702cf7e31..1ae7820433 100644 --- a/tests/baselines/reference/recursiveMappedTypes.errors.txt +++ b/tests/baselines/reference/recursiveMappedTypes.errors.txt @@ -4,9 +4,10 @@ tests/cases/conformance/types/mapped/recursiveMappedTypes.ts(7,6): error TS2456: 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(20,19): error TS2589: Type instantiation is excessively deep and possibly infinite. -==== tests/cases/conformance/types/mapped/recursiveMappedTypes.ts (6 errors) ==== +==== tests/cases/conformance/types/mapped/recursiveMappedTypes.ts (7 errors) ==== // Recursive mapped types simply appear empty type Recurse = { @@ -39,6 +40,8 @@ tests/cases/conformance/types/mapped/recursiveMappedTypes.ts(12,11): error TS231 type tup = [number, number, number, number]; function foo(arg: Circular): tup { + ~~~~~~~~~~~~~ +!!! error TS2589: Type instantiation is excessively deep and possibly infinite. return arg; } \ No newline at end of file diff --git a/tests/baselines/reference/recursiveMappedTypes.types b/tests/baselines/reference/recursiveMappedTypes.types index 5741f711e9..7a3251a824 100644 --- a/tests/baselines/reference/recursiveMappedTypes.types +++ b/tests/baselines/reference/recursiveMappedTypes.types @@ -28,10 +28,10 @@ type tup = [number, number, number, number]; >tup : [number, number, number, number] function foo(arg: Circular): tup { ->foo : (arg: [any, any, any, any]) => [number, number, number, number] ->arg : [any, any, any, any] +>foo : (arg: any) => [number, number, number, number] +>arg : any return arg; ->arg : [any, any, any, any] +>arg : any }