Accept new baselines

This commit is contained in:
Anders Hejlsberg 2019-04-28 14:12:06 -07:00
parent bbce336268
commit 64174b9b95
4 changed files with 46 additions and 5 deletions

View file

@ -208,6 +208,11 @@ tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts(108,5): error TS23
// Repro from #31149
function fn3<T extends ReadonlyArray<string>>(param: T, cb: (element: T[number]) => void) {
cb(param[0]); // Argument of type 'string' is not assignable to parameter of type 'T[number]'.
cb(param[0]);
}
function fn4<K extends number>() {
let x: Array<string>[K] = 'abc';
let y: ReadonlyArray<string>[K] = 'abc';
}

View file

@ -129,7 +129,12 @@ function fn2<T extends Array<string>>(param: T, cb: (element: T[number]) => void
// Repro from #31149
function fn3<T extends ReadonlyArray<string>>(param: T, cb: (element: T[number]) => void) {
cb(param[0]); // Argument of type 'string' is not assignable to parameter of type 'T[number]'.
cb(param[0]);
}
function fn4<K extends number>() {
let x: Array<string>[K] = 'abc';
let y: ReadonlyArray<string>[K] = 'abc';
}
@ -215,5 +220,9 @@ function fn2(param, cb) {
}
// Repro from #31149
function fn3(param, cb) {
cb(param[0]); // Argument of type 'string' is not assignable to parameter of type 'T[number]'.
cb(param[0]);
}
function fn4() {
let x = 'abc';
let y = 'abc';
}

View file

@ -483,8 +483,23 @@ function fn3<T extends ReadonlyArray<string>>(param: T, cb: (element: T[number])
>element : Symbol(element, Decl(keyofAndIndexedAccess2.ts, 129, 61))
>T : Symbol(T, Decl(keyofAndIndexedAccess2.ts, 129, 13))
cb(param[0]); // Argument of type 'string' is not assignable to parameter of type 'T[number]'.
cb(param[0]);
>cb : Symbol(cb, Decl(keyofAndIndexedAccess2.ts, 129, 55))
>param : Symbol(param, Decl(keyofAndIndexedAccess2.ts, 129, 46))
}
function fn4<K extends number>() {
>fn4 : Symbol(fn4, Decl(keyofAndIndexedAccess2.ts, 131, 1))
>K : Symbol(K, Decl(keyofAndIndexedAccess2.ts, 133, 13))
let x: Array<string>[K] = 'abc';
>x : Symbol(x, Decl(keyofAndIndexedAccess2.ts, 134, 7))
>Array : Symbol(Array, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.core.d.ts, --, --), Decl(lib.es2015.iterable.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --) ... and 2 more)
>K : Symbol(K, Decl(keyofAndIndexedAccess2.ts, 133, 13))
let y: ReadonlyArray<string>[K] = 'abc';
>y : Symbol(y, Decl(keyofAndIndexedAccess2.ts, 135, 7))
>ReadonlyArray : Symbol(ReadonlyArray, Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.core.d.ts, --, --), Decl(lib.es2015.iterable.d.ts, --, --), Decl(lib.es2016.array.include.d.ts, --, --), Decl(lib.es2019.array.d.ts, --, --))
>K : Symbol(K, Decl(keyofAndIndexedAccess2.ts, 133, 13))
}

View file

@ -479,7 +479,7 @@ function fn3<T extends ReadonlyArray<string>>(param: T, cb: (element: T[number])
>cb : (element: T[number]) => void
>element : T[number]
cb(param[0]); // Argument of type 'string' is not assignable to parameter of type 'T[number]'.
cb(param[0]);
>cb(param[0]) : void
>cb : (element: T[number]) => void
>param[0] : string
@ -487,3 +487,15 @@ function fn3<T extends ReadonlyArray<string>>(param: T, cb: (element: T[number])
>0 : 0
}
function fn4<K extends number>() {
>fn4 : <K extends number>() => void
let x: Array<string>[K] = 'abc';
>x : string[][K]
>'abc' : "abc"
let y: ReadonlyArray<string>[K] = 'abc';
>y : readonly string[][K]
>'abc' : "abc"
}