mirror of
https://github.com/microsoft/TypeScript.git
synced 2026-05-10 01:43:59 -05:00
Add regression test
This commit is contained in:
Anders Hejlsberg
81
tests/baselines/reference/keyofAndForIn.js
Normal file
81
tests/baselines/reference/keyofAndForIn.js
Normal file
@@ -0,0 +1,81 @@
|
||||
//// [keyofAndForIn.ts]
|
||||
|
||||
// Repro from #12513
|
||||
|
||||
function f1<K extends string, T>(obj: { [P in K]: T }, k: K) {
|
||||
const b = k in obj;
|
||||
let k1: K;
|
||||
for (k1 in obj) {
|
||||
let x1 = obj[k1];
|
||||
}
|
||||
for (let k2 in obj) {
|
||||
let x2 = obj[k2];
|
||||
}
|
||||
}
|
||||
|
||||
function f2<T>(obj: { [P in keyof T]: T[P] }, k: keyof T) {
|
||||
const b = k in obj;
|
||||
let k1: keyof T;
|
||||
for (k1 in obj) {
|
||||
let x1 = obj[k1];
|
||||
}
|
||||
for (let k2 in obj) {
|
||||
let x2 = obj[k2];
|
||||
}
|
||||
}
|
||||
|
||||
function f3<T, K extends keyof T>(obj: { [P in K]: T[P] }, k: K) {
|
||||
const b = k in obj;
|
||||
let k1: K;
|
||||
for (k1 in obj) {
|
||||
let x1 = obj[k1];
|
||||
}
|
||||
for (let k2 in obj) {
|
||||
let x2 = obj[k2];
|
||||
}
|
||||
}
|
||||
|
||||
//// [keyofAndForIn.js]
|
||||
// Repro from #12513
|
||||
function f1(obj, k) {
|
||||
var b = k in obj;
|
||||
var k1;
|
||||
for (k1 in obj) {
|
||||
var x1 = obj[k1];
|
||||
}
|
||||
for (var k2 in obj) {
|
||||
var x2 = obj[k2];
|
||||
}
|
||||
}
|
||||
function f2(obj, k) {
|
||||
var b = k in obj;
|
||||
var k1;
|
||||
for (k1 in obj) {
|
||||
var x1 = obj[k1];
|
||||
}
|
||||
for (var k2 in obj) {
|
||||
var x2 = obj[k2];
|
||||
}
|
||||
}
|
||||
function f3(obj, k) {
|
||||
var b = k in obj;
|
||||
var k1;
|
||||
for (k1 in obj) {
|
||||
var x1 = obj[k1];
|
||||
}
|
||||
for (var k2 in obj) {
|
||||
var x2 = obj[k2];
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
//// [keyofAndForIn.d.ts]
|
||||
declare function f1<K extends string, T>(obj: {
|
||||
[P in K]: T;
|
||||
}, k: K): void;
|
||||
declare function f2<T>(obj: {
|
||||
[P in keyof T]: T[P];
|
||||
}, k: keyof T): void;
|
||||
declare function f3<T, K extends keyof T>(obj: {
|
||||
[P in K]: T[P];
|
||||
}, k: K): void;
|
||||
125
tests/baselines/reference/keyofAndForIn.symbols
Normal file
125
tests/baselines/reference/keyofAndForIn.symbols
Normal file
@@ -0,0 +1,125 @@
|
||||
=== tests/cases/conformance/types/keyof/keyofAndForIn.ts ===
|
||||
|
||||
// Repro from #12513
|
||||
|
||||
function f1<K extends string, T>(obj: { [P in K]: T }, k: K) {
|
||||
>f1 : Symbol(f1, Decl(keyofAndForIn.ts, 0, 0))
|
||||
>K : Symbol(K, Decl(keyofAndForIn.ts, 3, 12))
|
||||
>T : Symbol(T, Decl(keyofAndForIn.ts, 3, 29))
|
||||
>obj : Symbol(obj, Decl(keyofAndForIn.ts, 3, 33))
|
||||
>P : Symbol(P, Decl(keyofAndForIn.ts, 3, 41))
|
||||
>K : Symbol(K, Decl(keyofAndForIn.ts, 3, 12))
|
||||
>T : Symbol(T, Decl(keyofAndForIn.ts, 3, 29))
|
||||
>k : Symbol(k, Decl(keyofAndForIn.ts, 3, 54))
|
||||
>K : Symbol(K, Decl(keyofAndForIn.ts, 3, 12))
|
||||
|
||||
const b = k in obj;
|
||||
>b : Symbol(b, Decl(keyofAndForIn.ts, 4, 9))
|
||||
>k : Symbol(k, Decl(keyofAndForIn.ts, 3, 54))
|
||||
>obj : Symbol(obj, Decl(keyofAndForIn.ts, 3, 33))
|
||||
|
||||
let k1: K;
|
||||
>k1 : Symbol(k1, Decl(keyofAndForIn.ts, 5, 7))
|
||||
>K : Symbol(K, Decl(keyofAndForIn.ts, 3, 12))
|
||||
|
||||
for (k1 in obj) {
|
||||
>k1 : Symbol(k1, Decl(keyofAndForIn.ts, 5, 7))
|
||||
>obj : Symbol(obj, Decl(keyofAndForIn.ts, 3, 33))
|
||||
|
||||
let x1 = obj[k1];
|
||||
>x1 : Symbol(x1, Decl(keyofAndForIn.ts, 7, 11))
|
||||
>obj : Symbol(obj, Decl(keyofAndForIn.ts, 3, 33))
|
||||
>k1 : Symbol(k1, Decl(keyofAndForIn.ts, 5, 7))
|
||||
}
|
||||
for (let k2 in obj) {
|
||||
>k2 : Symbol(k2, Decl(keyofAndForIn.ts, 9, 12))
|
||||
>obj : Symbol(obj, Decl(keyofAndForIn.ts, 3, 33))
|
||||
|
||||
let x2 = obj[k2];
|
||||
>x2 : Symbol(x2, Decl(keyofAndForIn.ts, 10, 11))
|
||||
>obj : Symbol(obj, Decl(keyofAndForIn.ts, 3, 33))
|
||||
>k2 : Symbol(k2, Decl(keyofAndForIn.ts, 9, 12))
|
||||
}
|
||||
}
|
||||
|
||||
function f2<T>(obj: { [P in keyof T]: T[P] }, k: keyof T) {
|
||||
>f2 : Symbol(f2, Decl(keyofAndForIn.ts, 12, 1))
|
||||
>T : Symbol(T, Decl(keyofAndForIn.ts, 14, 12))
|
||||
>obj : Symbol(obj, Decl(keyofAndForIn.ts, 14, 15))
|
||||
>P : Symbol(P, Decl(keyofAndForIn.ts, 14, 23))
|
||||
>T : Symbol(T, Decl(keyofAndForIn.ts, 14, 12))
|
||||
>T : Symbol(T, Decl(keyofAndForIn.ts, 14, 12))
|
||||
>P : Symbol(P, Decl(keyofAndForIn.ts, 14, 23))
|
||||
>k : Symbol(k, Decl(keyofAndForIn.ts, 14, 45))
|
||||
>T : Symbol(T, Decl(keyofAndForIn.ts, 14, 12))
|
||||
|
||||
const b = k in obj;
|
||||
>b : Symbol(b, Decl(keyofAndForIn.ts, 15, 9))
|
||||
>k : Symbol(k, Decl(keyofAndForIn.ts, 14, 45))
|
||||
>obj : Symbol(obj, Decl(keyofAndForIn.ts, 14, 15))
|
||||
|
||||
let k1: keyof T;
|
||||
>k1 : Symbol(k1, Decl(keyofAndForIn.ts, 16, 7))
|
||||
>T : Symbol(T, Decl(keyofAndForIn.ts, 14, 12))
|
||||
|
||||
for (k1 in obj) {
|
||||
>k1 : Symbol(k1, Decl(keyofAndForIn.ts, 16, 7))
|
||||
>obj : Symbol(obj, Decl(keyofAndForIn.ts, 14, 15))
|
||||
|
||||
let x1 = obj[k1];
|
||||
>x1 : Symbol(x1, Decl(keyofAndForIn.ts, 18, 11))
|
||||
>obj : Symbol(obj, Decl(keyofAndForIn.ts, 14, 15))
|
||||
>k1 : Symbol(k1, Decl(keyofAndForIn.ts, 16, 7))
|
||||
}
|
||||
for (let k2 in obj) {
|
||||
>k2 : Symbol(k2, Decl(keyofAndForIn.ts, 20, 12))
|
||||
>obj : Symbol(obj, Decl(keyofAndForIn.ts, 14, 15))
|
||||
|
||||
let x2 = obj[k2];
|
||||
>x2 : Symbol(x2, Decl(keyofAndForIn.ts, 21, 11))
|
||||
>obj : Symbol(obj, Decl(keyofAndForIn.ts, 14, 15))
|
||||
>k2 : Symbol(k2, Decl(keyofAndForIn.ts, 20, 12))
|
||||
}
|
||||
}
|
||||
|
||||
function f3<T, K extends keyof T>(obj: { [P in K]: T[P] }, k: K) {
|
||||
>f3 : Symbol(f3, Decl(keyofAndForIn.ts, 23, 1))
|
||||
>T : Symbol(T, Decl(keyofAndForIn.ts, 25, 12))
|
||||
>K : Symbol(K, Decl(keyofAndForIn.ts, 25, 14))
|
||||
>T : Symbol(T, Decl(keyofAndForIn.ts, 25, 12))
|
||||
>obj : Symbol(obj, Decl(keyofAndForIn.ts, 25, 34))
|
||||
>P : Symbol(P, Decl(keyofAndForIn.ts, 25, 42))
|
||||
>K : Symbol(K, Decl(keyofAndForIn.ts, 25, 14))
|
||||
>T : Symbol(T, Decl(keyofAndForIn.ts, 25, 12))
|
||||
>P : Symbol(P, Decl(keyofAndForIn.ts, 25, 42))
|
||||
>k : Symbol(k, Decl(keyofAndForIn.ts, 25, 58))
|
||||
>K : Symbol(K, Decl(keyofAndForIn.ts, 25, 14))
|
||||
|
||||
const b = k in obj;
|
||||
>b : Symbol(b, Decl(keyofAndForIn.ts, 26, 9))
|
||||
>k : Symbol(k, Decl(keyofAndForIn.ts, 25, 58))
|
||||
>obj : Symbol(obj, Decl(keyofAndForIn.ts, 25, 34))
|
||||
|
||||
let k1: K;
|
||||
>k1 : Symbol(k1, Decl(keyofAndForIn.ts, 27, 7))
|
||||
>K : Symbol(K, Decl(keyofAndForIn.ts, 25, 14))
|
||||
|
||||
for (k1 in obj) {
|
||||
>k1 : Symbol(k1, Decl(keyofAndForIn.ts, 27, 7))
|
||||
>obj : Symbol(obj, Decl(keyofAndForIn.ts, 25, 34))
|
||||
|
||||
let x1 = obj[k1];
|
||||
>x1 : Symbol(x1, Decl(keyofAndForIn.ts, 29, 11))
|
||||
>obj : Symbol(obj, Decl(keyofAndForIn.ts, 25, 34))
|
||||
>k1 : Symbol(k1, Decl(keyofAndForIn.ts, 27, 7))
|
||||
}
|
||||
for (let k2 in obj) {
|
||||
>k2 : Symbol(k2, Decl(keyofAndForIn.ts, 31, 12))
|
||||
>obj : Symbol(obj, Decl(keyofAndForIn.ts, 25, 34))
|
||||
|
||||
let x2 = obj[k2];
|
||||
>x2 : Symbol(x2, Decl(keyofAndForIn.ts, 32, 11))
|
||||
>obj : Symbol(obj, Decl(keyofAndForIn.ts, 25, 34))
|
||||
>k2 : Symbol(k2, Decl(keyofAndForIn.ts, 31, 12))
|
||||
}
|
||||
}
|
||||
134
tests/baselines/reference/keyofAndForIn.types
Normal file
134
tests/baselines/reference/keyofAndForIn.types
Normal file
@@ -0,0 +1,134 @@
|
||||
=== tests/cases/conformance/types/keyof/keyofAndForIn.ts ===
|
||||
|
||||
// Repro from #12513
|
||||
|
||||
function f1<K extends string, T>(obj: { [P in K]: T }, k: K) {
|
||||
>f1 : <K extends string, T>(obj: { [P in K]: T; }, k: K) => void
|
||||
>K : K
|
||||
>T : T
|
||||
>obj : { [P in K]: T; }
|
||||
>P : P
|
||||
>K : K
|
||||
>T : T
|
||||
>k : K
|
||||
>K : K
|
||||
|
||||
const b = k in obj;
|
||||
>b : boolean
|
||||
>k in obj : boolean
|
||||
>k : K
|
||||
>obj : { [P in K]: T; }
|
||||
|
||||
let k1: K;
|
||||
>k1 : K
|
||||
>K : K
|
||||
|
||||
for (k1 in obj) {
|
||||
>k1 : K
|
||||
>obj : { [P in K]: T; }
|
||||
|
||||
let x1 = obj[k1];
|
||||
>x1 : T
|
||||
>obj[k1] : T
|
||||
>obj : { [P in K]: T; }
|
||||
>k1 : K
|
||||
}
|
||||
for (let k2 in obj) {
|
||||
>k2 : K
|
||||
>obj : { [P in K]: T; }
|
||||
|
||||
let x2 = obj[k2];
|
||||
>x2 : T
|
||||
>obj[k2] : T
|
||||
>obj : { [P in K]: T; }
|
||||
>k2 : K
|
||||
}
|
||||
}
|
||||
|
||||
function f2<T>(obj: { [P in keyof T]: T[P] }, k: keyof T) {
|
||||
>f2 : <T>(obj: { [P in keyof T]: T[P]; }, k: keyof T) => void
|
||||
>T : T
|
||||
>obj : { [P in keyof T]: T[P]; }
|
||||
>P : P
|
||||
>T : T
|
||||
>T : T
|
||||
>P : P
|
||||
>k : keyof T
|
||||
>T : T
|
||||
|
||||
const b = k in obj;
|
||||
>b : boolean
|
||||
>k in obj : boolean
|
||||
>k : keyof T
|
||||
>obj : { [P in keyof T]: T[P]; }
|
||||
|
||||
let k1: keyof T;
|
||||
>k1 : keyof T
|
||||
>T : T
|
||||
|
||||
for (k1 in obj) {
|
||||
>k1 : keyof T
|
||||
>obj : { [P in keyof T]: T[P]; }
|
||||
|
||||
let x1 = obj[k1];
|
||||
>x1 : T[keyof T]
|
||||
>obj[k1] : T[keyof T]
|
||||
>obj : { [P in keyof T]: T[P]; }
|
||||
>k1 : keyof T
|
||||
}
|
||||
for (let k2 in obj) {
|
||||
>k2 : keyof T
|
||||
>obj : { [P in keyof T]: T[P]; }
|
||||
|
||||
let x2 = obj[k2];
|
||||
>x2 : T[keyof T]
|
||||
>obj[k2] : T[keyof T]
|
||||
>obj : { [P in keyof T]: T[P]; }
|
||||
>k2 : keyof T
|
||||
}
|
||||
}
|
||||
|
||||
function f3<T, K extends keyof T>(obj: { [P in K]: T[P] }, k: K) {
|
||||
>f3 : <T, K extends keyof T>(obj: { [P in K]: T[P]; }, k: K) => void
|
||||
>T : T
|
||||
>K : K
|
||||
>T : T
|
||||
>obj : { [P in K]: T[P]; }
|
||||
>P : P
|
||||
>K : K
|
||||
>T : T
|
||||
>P : P
|
||||
>k : K
|
||||
>K : K
|
||||
|
||||
const b = k in obj;
|
||||
>b : boolean
|
||||
>k in obj : boolean
|
||||
>k : K
|
||||
>obj : { [P in K]: T[P]; }
|
||||
|
||||
let k1: K;
|
||||
>k1 : K
|
||||
>K : K
|
||||
|
||||
for (k1 in obj) {
|
||||
>k1 : K
|
||||
>obj : { [P in K]: T[P]; }
|
||||
|
||||
let x1 = obj[k1];
|
||||
>x1 : T[K]
|
||||
>obj[k1] : T[K]
|
||||
>obj : { [P in K]: T[P]; }
|
||||
>k1 : K
|
||||
}
|
||||
for (let k2 in obj) {
|
||||
>k2 : K
|
||||
>obj : { [P in K]: T[P]; }
|
||||
|
||||
let x2 = obj[k2];
|
||||
>x2 : T[K]
|
||||
>obj[k2] : T[K]
|
||||
>obj : { [P in K]: T[P]; }
|
||||
>k2 : K
|
||||
}
|
||||
}
|
||||
36
tests/cases/conformance/types/keyof/keyofAndForIn.ts
Normal file
36
tests/cases/conformance/types/keyof/keyofAndForIn.ts
Normal file
@@ -0,0 +1,36 @@
|
||||
// @declaration: true
|
||||
|
||||
// Repro from #12513
|
||||
|
||||
function f1<K extends string, T>(obj: { [P in K]: T }, k: K) {
|
||||
const b = k in obj;
|
||||
let k1: K;
|
||||
for (k1 in obj) {
|
||||
let x1 = obj[k1];
|
||||
}
|
||||
for (let k2 in obj) {
|
||||
let x2 = obj[k2];
|
||||
}
|
||||
}
|
||||
|
||||
function f2<T>(obj: { [P in keyof T]: T[P] }, k: keyof T) {
|
||||
const b = k in obj;
|
||||
let k1: keyof T;
|
||||
for (k1 in obj) {
|
||||
let x1 = obj[k1];
|
||||
}
|
||||
for (let k2 in obj) {
|
||||
let x2 = obj[k2];
|
||||
}
|
||||
}
|
||||
|
||||
function f3<T, K extends keyof T>(obj: { [P in K]: T[P] }, k: K) {
|
||||
const b = k in obj;
|
||||
let k1: K;
|
||||
for (k1 in obj) {
|
||||
let x1 = obj[k1];
|
||||
}
|
||||
for (let k2 in obj) {
|
||||
let x2 = obj[k2];
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user