microsoft/TypeScript
1
0
Fork 0
mirror of https://github.com/microsoft/TypeScript.git synced 2026-02-09 02:30:15 -06:00
Code Issues Packages Projects Releases 212 Wiki Activity

Update baselines

Browse Source
This commit is contained in:
Nathan Shively-Sanders 2018-01-11 10:08:49 -08:00
parent 16a8003011
commit 2b630e9ea5
3 changed files with 13 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.errors.txt
View File

@ -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];
}

2
tests/baselines/reference/incorrectRecursiveMappedTypeConstraint.types
View File

@ -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

11
tests/baselines/reference/recursiveMappedTypes.errors.txt
View File

@ -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.
}