Accept new baselines

This commit is contained in:
Anders Hejlsberg 2016-11-16 06:49:15 -08:00
parent c00a04d781
commit 78726aeb3d
3 changed files with 96 additions and 0 deletions

View file

@ -0,0 +1,30 @@
//// [recursiveMappedTypes.ts]
// Recursive mapped types simply appear empty
type Recurse = {
[K in keyof Recurse]: Recurse[K]
}
type Recurse1 = {
[K in keyof Recurse2]: Recurse2[K]
}
type Recurse2 = {
[K in keyof Recurse1]: Recurse1[K]
}
//// [recursiveMappedTypes.js]
// Recursive mapped types simply appear empty
//// [recursiveMappedTypes.d.ts]
declare type Recurse = {
[K in keyof Recurse]: Recurse[K];
};
declare type Recurse1 = {
[K in keyof Recurse2]: Recurse2[K];
};
declare type Recurse2 = {
[K in keyof Recurse1]: Recurse1[K];
};

View file

@ -0,0 +1,33 @@
=== tests/cases/conformance/types/mapped/recursiveMappedTypes.ts ===
// Recursive mapped types simply appear empty
type Recurse = {
>Recurse : Symbol(Recurse, Decl(recursiveMappedTypes.ts, 0, 0))
[K in keyof Recurse]: Recurse[K]
>K : Symbol(K, Decl(recursiveMappedTypes.ts, 4, 5))
>Recurse : Symbol(Recurse, Decl(recursiveMappedTypes.ts, 0, 0))
>Recurse : Symbol(Recurse, Decl(recursiveMappedTypes.ts, 0, 0))
>K : Symbol(K, Decl(recursiveMappedTypes.ts, 4, 5))
}
type Recurse1 = {
>Recurse1 : Symbol(Recurse1, Decl(recursiveMappedTypes.ts, 5, 1))
[K in keyof Recurse2]: Recurse2[K]
>K : Symbol(K, Decl(recursiveMappedTypes.ts, 8, 5))
>Recurse2 : Symbol(Recurse2, Decl(recursiveMappedTypes.ts, 9, 1))
>Recurse2 : Symbol(Recurse2, Decl(recursiveMappedTypes.ts, 9, 1))
>K : Symbol(K, Decl(recursiveMappedTypes.ts, 8, 5))
}
type Recurse2 = {
>Recurse2 : Symbol(Recurse2, Decl(recursiveMappedTypes.ts, 9, 1))
[K in keyof Recurse1]: Recurse1[K]
>K : Symbol(K, Decl(recursiveMappedTypes.ts, 12, 5))
>Recurse1 : Symbol(Recurse1, Decl(recursiveMappedTypes.ts, 5, 1))
>Recurse1 : Symbol(Recurse1, Decl(recursiveMappedTypes.ts, 5, 1))
>K : Symbol(K, Decl(recursiveMappedTypes.ts, 12, 5))
}

View file

@ -0,0 +1,33 @@
=== tests/cases/conformance/types/mapped/recursiveMappedTypes.ts ===
// Recursive mapped types simply appear empty
type Recurse = {
>Recurse : Recurse
[K in keyof Recurse]: Recurse[K]
>K : K
>Recurse : Recurse
>Recurse : Recurse
>K : K
}
type Recurse1 = {
>Recurse1 : Recurse1
[K in keyof Recurse2]: Recurse2[K]
>K : K
>Recurse2 : Recurse2
>Recurse2 : Recurse2
>K : K
}
type Recurse2 = {
>Recurse2 : Recurse2
[K in keyof Recurse1]: Recurse1[K]
>K : K
>Recurse1 : Recurse1
>Recurse1 : Recurse1
>K : K
}