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

Accept new baselines

Browse Source
This commit is contained in:
Anders Hejlsberg 2018-10-26 15:32:18 -07:00
parent 24e3745296
commit 00fbdedbcc
4 changed files with 91 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
tests/baselines/reference/mappedTypeErrors.errors.txt
View File

@ -39,9 +39,11 @@ tests/cases/conformance/types/mapped/mappedTypeErrors.ts(130,39): error TS2322:
tests/cases/conformance/types/mapped/mappedTypeErrors.ts(136,16): error TS2322: Type 'T' is not assignable to type 'string | number | symbol'.
Type 'T' is not assignable to type 'symbol'.
tests/cases/conformance/types/mapped/mappedTypeErrors.ts(136,21): error TS2536: Type 'P' cannot be used to index type 'T'.
tests/cases/conformance/types/mapped/mappedTypeErrors.ts(148,17): error TS2339: Property 'foo' does not exist on type 'Pick<T, K>'.
tests/cases/conformance/types/mapped/mappedTypeErrors.ts(152,17): error TS2339: Property 'foo' does not exist on type 'Record<K, number>'.
==== tests/cases/conformance/types/mapped/mappedTypeErrors.ts (25 errors) ====
==== tests/cases/conformance/types/mapped/mappedTypeErrors.ts (27 errors) ====
interface Shape {
name: string;
width: number;
@ -256,4 +258,18 @@ tests/cases/conformance/types/mapped/mappedTypeErrors.ts(136,21): error TS2536:
pf: {x: 7},
pt: {x: 7, y: false},
};
// Repro from #28170
function test1<T, K extends keyof T>(obj: Pick<T, K>) {
let x = obj.foo; // Error
~~~
!!! error TS2339: Property 'foo' does not exist on type 'Pick<T, K>'.
}
function test2<T, K extends keyof T>(obj: Record<K, number>) {
let x = obj.foo; // Error
~~~
!!! error TS2339: Property 'foo' does not exist on type 'Record<K, number>'.
}

19
tests/baselines/reference/mappedTypeErrors.js
View File

@ -142,6 +142,16 @@ let f: Foo2<O, 'x'> = {
pf: {x: 7},
pt: {x: 7, y: false},
};
// Repro from #28170
function test1<T, K extends keyof T>(obj: Pick<T, K>) {
let x = obj.foo; // Error
}
function test2<T, K extends keyof T>(obj: Record<K, number>) {
let x = obj.foo; // Error
}
//// [mappedTypeErrors.js]
@ -222,6 +232,13 @@ var f = {
pf: { x: 7 },
pt: { x: 7, y: false }
};
// Repro from #28170
function test1(obj) {
var x = obj.foo; // Error
}
function test2(obj) {
var x = obj.foo; // Error
}
//// [mappedTypeErrors.d.ts]
@ -300,3 +317,5 @@ declare type O = {
};
declare let o: O;
declare let f: Foo2<O, 'x'>;
declare function test1<T, K extends keyof T>(obj: Pick<T, K>): void;
declare function test2<T, K extends keyof T>(obj: Record<K, number>): void;

31
tests/baselines/reference/mappedTypeErrors.symbols
View File

@ -540,3 +540,34 @@ let f: Foo2<O, 'x'> = {
};
// Repro from #28170
function test1<T, K extends keyof T>(obj: Pick<T, K>) {
>test1 : Symbol(test1, Decl(mappedTypeErrors.ts, 142, 2))
>T : Symbol(T, Decl(mappedTypeErrors.ts, 146, 15))
>K : Symbol(K, Decl(mappedTypeErrors.ts, 146, 17))
>T : Symbol(T, Decl(mappedTypeErrors.ts, 146, 15))
>obj : Symbol(obj, Decl(mappedTypeErrors.ts, 146, 37))
>Pick : Symbol(Pick, Decl(lib.es5.d.ts, --, --))
>T : Symbol(T, Decl(mappedTypeErrors.ts, 146, 15))
>K : Symbol(K, Decl(mappedTypeErrors.ts, 146, 17))
let x = obj.foo; // Error
>x : Symbol(x, Decl(mappedTypeErrors.ts, 147, 7))
>obj : Symbol(obj, Decl(mappedTypeErrors.ts, 146, 37))
}
function test2<T, K extends keyof T>(obj: Record<K, number>) {
>test2 : Symbol(test2, Decl(mappedTypeErrors.ts, 148, 1))
>T : Symbol(T, Decl(mappedTypeErrors.ts, 150, 15))
>K : Symbol(K, Decl(mappedTypeErrors.ts, 150, 17))
>T : Symbol(T, Decl(mappedTypeErrors.ts, 150, 15))
>obj : Symbol(obj, Decl(mappedTypeErrors.ts, 150, 37))
>Record : Symbol(Record, Decl(lib.es5.d.ts, --, --))
>K : Symbol(K, Decl(mappedTypeErrors.ts, 150, 17))
let x = obj.foo; // Error
>x : Symbol(x, Decl(mappedTypeErrors.ts, 151, 7))
>obj : Symbol(obj, Decl(mappedTypeErrors.ts, 150, 37))
}

24
tests/baselines/reference/mappedTypeErrors.types
View File

@ -501,3 +501,27 @@ let f: Foo2<O, 'x'> = {
};
// Repro from #28170
function test1<T, K extends keyof T>(obj: Pick<T, K>) {
>test1 : <T, K extends keyof T>(obj: Pick<T, K>) => void
>obj : Pick<T, K>
let x = obj.foo; // Error
>x : any
>obj.foo : any
>obj : Pick<T, K>
>foo : any
}
function test2<T, K extends keyof T>(obj: Record<K, number>) {
>test2 : <T, K extends keyof T>(obj: Record<K, number>) => void
>obj : Record<K, number>
let x = obj.foo; // Error
>x : any
>obj.foo : any
>obj : Record<K, number>
>foo : any
}