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

Accept new baselines

Browse Source
This commit is contained in:
Anders Hejlsberg 2019-04-13 08:24:34 -10:00
parent 2c951b3ca9
commit f3fd27c0ee
4 changed files with 36 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tests/baselines/reference/intersectionWithUnionConstraint.errors.txt
View File

@ -80,4 +80,9 @@ tests/cases/conformance/types/intersection/intersectionWithUnionConstraint.ts(12
type UnexpectedError<T extends PropertyKey> = T
type NoErrorHere<T extends PropertyKey> = T
// Repro from #30331
type a<T> = T extends Array<infer U> ? U : never;
type b<T> = { [K in a<T> & keyof T ]: 42 };

5
tests/baselines/reference/intersectionWithUnionConstraint.js
View File

@ -33,6 +33,11 @@ type Example<T, U> = { [K in keyof T]: K extends keyof U ? UnexpectedError<K> :
type UnexpectedError<T extends PropertyKey> = T
type NoErrorHere<T extends PropertyKey> = T
// Repro from #30331
type a<T> = T extends Array<infer U> ? U : never;
type b<T> = { [K in a<T> & keyof T ]: 42 };
//// [intersectionWithUnionConstraint.js]

18
tests/baselines/reference/intersectionWithUnionConstraint.symbols
View File

@ -112,3 +112,21 @@ type NoErrorHere<T extends PropertyKey> = T
>PropertyKey : Symbol(PropertyKey, Decl(lib.es5.d.ts, --, --))
>T : Symbol(T, Decl(intersectionWithUnionConstraint.ts, 33, 17))
// Repro from #30331
type a<T> = T extends Array<infer U> ? U : never;
>a : Symbol(a, Decl(intersectionWithUnionConstraint.ts, 33, 43))
>T : Symbol(T, Decl(intersectionWithUnionConstraint.ts, 37, 7))
>T : Symbol(T, Decl(intersectionWithUnionConstraint.ts, 37, 7))
>Array : Symbol(Array, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
>U : Symbol(U, Decl(intersectionWithUnionConstraint.ts, 37, 33))
>U : Symbol(U, Decl(intersectionWithUnionConstraint.ts, 37, 33))
type b<T> = { [K in a<T> & keyof T ]: 42 };
>b : Symbol(b, Decl(intersectionWithUnionConstraint.ts, 37, 49))
>T : Symbol(T, Decl(intersectionWithUnionConstraint.ts, 38, 7))
>K : Symbol(K, Decl(intersectionWithUnionConstraint.ts, 38, 15))
>a : Symbol(a, Decl(intersectionWithUnionConstraint.ts, 33, 43))
>T : Symbol(T, Decl(intersectionWithUnionConstraint.ts, 38, 7))
>T : Symbol(T, Decl(intersectionWithUnionConstraint.ts, 38, 7))

8
tests/baselines/reference/intersectionWithUnionConstraint.types
View File

@ -84,3 +84,11 @@ type UnexpectedError<T extends PropertyKey> = T
type NoErrorHere<T extends PropertyKey> = T
>NoErrorHere : T
// Repro from #30331
type a<T> = T extends Array<infer U> ? U : never;
>a : a<T>
type b<T> = { [K in a<T> & keyof T ]: 42 };
>b : b<T>