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

Accept new baselines

Browse Source
This commit is contained in:
Anders Hejlsberg 2018-06-03 11:59:32 -07:00
parent 54f9c17045
commit 9eea4d53ed
3 changed files with 155 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
tests/baselines/reference/keyofAndIndexedAccess.js
View File

@ -635,6 +635,20 @@ interface I7 {
}
type Foo7<T extends number> = T;
declare function f7<K extends keyof I7>(type: K): Foo7<I7[K]>;
// Repro from #21770
type Dict<T extends string> = { [key in T]: number };
type DictDict<V extends string, T extends string> = { [key in V]: Dict<T> };
function ff1<V extends string, T extends string>(dd: DictDict<V, T>, k1: V, k2: T): number {
return dd[k1][k2];
}
function ff2<V extends string, T extends string>(dd: DictDict<V, T>, k1: V, k2: T): number {
const d: Dict<T> = dd[k1];
return d[k2];
}
//// [keyofAndIndexedAccess.js]
@ -1054,6 +1068,13 @@ var Unbounded = /** @class */ (function () {
};
return Unbounded;
}());
function ff1(dd, k1, k2) {
return dd[k1][k2];
}
function ff2(dd, k1, k2) {
var d = dd[k1];
return d[k2];
}
//// [keyofAndIndexedAccess.d.ts]
@ -1381,3 +1402,11 @@ interface I7 {
}
declare type Foo7<T extends number> = T;
declare function f7<K extends keyof I7>(type: K): Foo7<I7[K]>;
declare type Dict<T extends string> = {
[key in T]: number;
};
declare type DictDict<V extends string, T extends string> = {
[key in V]: Dict<T>;
};
declare function ff1<V extends string, T extends string>(dd: DictDict<V, T>, k1: V, k2: T): number;
declare function ff2<V extends string, T extends string>(dd: DictDict<V, T>, k1: V, k2: T): number;

61
tests/baselines/reference/keyofAndIndexedAccess.symbols
View File

@ -2258,3 +2258,64 @@ declare function f7<K extends keyof I7>(type: K): Foo7<I7[K]>;
>I7 : Symbol(I7, Decl(keyofAndIndexedAccess.ts, 627, 1))
>K : Symbol(K, Decl(keyofAndIndexedAccess.ts, 635, 20))
// Repro from #21770
type Dict<T extends string> = { [key in T]: number };
>Dict : Symbol(Dict, Decl(keyofAndIndexedAccess.ts, 635, 62))
>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 639, 10))
>key : Symbol(key, Decl(keyofAndIndexedAccess.ts, 639, 33))
>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 639, 10))
type DictDict<V extends string, T extends string> = { [key in V]: Dict<T> };
>DictDict : Symbol(DictDict, Decl(keyofAndIndexedAccess.ts, 639, 53))
>V : Symbol(V, Decl(keyofAndIndexedAccess.ts, 640, 14))
>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 640, 31))
>key : Symbol(key, Decl(keyofAndIndexedAccess.ts, 640, 55))
>V : Symbol(V, Decl(keyofAndIndexedAccess.ts, 640, 14))
>Dict : Symbol(Dict, Decl(keyofAndIndexedAccess.ts, 635, 62))
>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 640, 31))
function ff1<V extends string, T extends string>(dd: DictDict<V, T>, k1: V, k2: T): number {
>ff1 : Symbol(ff1, Decl(keyofAndIndexedAccess.ts, 640, 76))
>V : Symbol(V, Decl(keyofAndIndexedAccess.ts, 642, 13))
>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 642, 30))
>dd : Symbol(dd, Decl(keyofAndIndexedAccess.ts, 642, 49))
>DictDict : Symbol(DictDict, Decl(keyofAndIndexedAccess.ts, 639, 53))
>V : Symbol(V, Decl(keyofAndIndexedAccess.ts, 642, 13))
>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 642, 30))
>k1 : Symbol(k1, Decl(keyofAndIndexedAccess.ts, 642, 68))
>V : Symbol(V, Decl(keyofAndIndexedAccess.ts, 642, 13))
>k2 : Symbol(k2, Decl(keyofAndIndexedAccess.ts, 642, 75))
>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 642, 30))
return dd[k1][k2];
>dd : Symbol(dd, Decl(keyofAndIndexedAccess.ts, 642, 49))
>k1 : Symbol(k1, Decl(keyofAndIndexedAccess.ts, 642, 68))
>k2 : Symbol(k2, Decl(keyofAndIndexedAccess.ts, 642, 75))
}
function ff2<V extends string, T extends string>(dd: DictDict<V, T>, k1: V, k2: T): number {
>ff2 : Symbol(ff2, Decl(keyofAndIndexedAccess.ts, 644, 1))
>V : Symbol(V, Decl(keyofAndIndexedAccess.ts, 646, 13))
>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 646, 30))
>dd : Symbol(dd, Decl(keyofAndIndexedAccess.ts, 646, 49))
>DictDict : Symbol(DictDict, Decl(keyofAndIndexedAccess.ts, 639, 53))
>V : Symbol(V, Decl(keyofAndIndexedAccess.ts, 646, 13))
>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 646, 30))
>k1 : Symbol(k1, Decl(keyofAndIndexedAccess.ts, 646, 68))
>V : Symbol(V, Decl(keyofAndIndexedAccess.ts, 646, 13))
>k2 : Symbol(k2, Decl(keyofAndIndexedAccess.ts, 646, 75))
>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 646, 30))
const d: Dict<T> = dd[k1];
>d : Symbol(d, Decl(keyofAndIndexedAccess.ts, 647, 9))
>Dict : Symbol(Dict, Decl(keyofAndIndexedAccess.ts, 635, 62))
>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 646, 30))
>dd : Symbol(dd, Decl(keyofAndIndexedAccess.ts, 646, 49))
>k1 : Symbol(k1, Decl(keyofAndIndexedAccess.ts, 646, 68))
return d[k2];
>d : Symbol(d, Decl(keyofAndIndexedAccess.ts, 647, 9))
>k2 : Symbol(k2, Decl(keyofAndIndexedAccess.ts, 646, 75))
}

65
tests/baselines/reference/keyofAndIndexedAccess.types
View File

@ -2614,3 +2614,68 @@ declare function f7<K extends keyof I7>(type: K): Foo7<I7[K]>;
>I7 : I7
>K : K
// Repro from #21770
type Dict<T extends string> = { [key in T]: number };
>Dict : Dict<T>
>T : T
>key : key
>T : T
type DictDict<V extends string, T extends string> = { [key in V]: Dict<T> };
>DictDict : DictDict<V, T>
>V : V
>T : T
>key : key
>V : V
>Dict : Dict<T>
>T : T
function ff1<V extends string, T extends string>(dd: DictDict<V, T>, k1: V, k2: T): number {
>ff1 : <V extends string, T extends string>(dd: DictDict<V, T>, k1: V, k2: T) => number
>V : V
>T : T
>dd : DictDict<V, T>
>DictDict : DictDict<V, T>
>V : V
>T : T
>k1 : V
>V : V
>k2 : T
>T : T
return dd[k1][k2];
>dd[k1][k2] : DictDict<V, T>[V][T]
>dd[k1] : DictDict<V, T>[V]
>dd : DictDict<V, T>
>k1 : V
>k2 : T
}
function ff2<V extends string, T extends string>(dd: DictDict<V, T>, k1: V, k2: T): number {
>ff2 : <V extends string, T extends string>(dd: DictDict<V, T>, k1: V, k2: T) => number
>V : V
>T : T
>dd : DictDict<V, T>
>DictDict : DictDict<V, T>
>V : V
>T : T
>k1 : V
>V : V
>k2 : T
>T : T
const d: Dict<T> = dd[k1];
>d : Dict<T>
>Dict : Dict<T>
>T : T
>dd[k1] : DictDict<V, T>[V]
>dd : DictDict<V, T>
>k1 : V
return d[k2];
>d[k2] : Dict<T>[T]
>d : Dict<T>
>k2 : T
}