Accept new baselines
This commit is contained in:
parent
c694ffe7a5
commit
e98f9a699f
|
@ -60,7 +60,7 @@ tests/cases/conformance/types/unknown/unknownType1.ts(156,5): error TS2564: Prop
|
||||||
// keyof unknown
|
// keyof unknown
|
||||||
|
|
||||||
type T40 = keyof any; // string | number | symbol
|
type T40 = keyof any; // string | number | symbol
|
||||||
type T41 = keyof unknown; // string | number | symbol
|
type T41 = keyof unknown; // never
|
||||||
|
|
||||||
// Only equality operators are allowed with unknown
|
// Only equality operators are allowed with unknown
|
||||||
|
|
||||||
|
@ -129,8 +129,8 @@ tests/cases/conformance/types/unknown/unknownType1.ts(156,5): error TS2564: Prop
|
||||||
// Homomorphic mapped type over unknown
|
// Homomorphic mapped type over unknown
|
||||||
|
|
||||||
type T50<T> = { [P in keyof T]: number };
|
type T50<T> = { [P in keyof T]: number };
|
||||||
type T51 = T50<unknown>; // { [x: string]: number }
|
type T51 = T50<any>; // { [x: string]: number }
|
||||||
type T52 = T50<any>; // { [x: string]: number }
|
type T52 = T50<unknown>; // {}
|
||||||
|
|
||||||
// Anything is assignable to unknown
|
// Anything is assignable to unknown
|
||||||
|
|
||||||
|
|
|
@ -36,7 +36,7 @@ type T33<T> = T extends never ? true : false; // Deferred
|
||||||
// keyof unknown
|
// keyof unknown
|
||||||
|
|
||||||
type T40 = keyof any; // string | number | symbol
|
type T40 = keyof any; // string | number | symbol
|
||||||
type T41 = keyof unknown; // string | number | symbol
|
type T41 = keyof unknown; // never
|
||||||
|
|
||||||
// Only equality operators are allowed with unknown
|
// Only equality operators are allowed with unknown
|
||||||
|
|
||||||
|
@ -81,8 +81,8 @@ function f20(x: unknown) {
|
||||||
// Homomorphic mapped type over unknown
|
// Homomorphic mapped type over unknown
|
||||||
|
|
||||||
type T50<T> = { [P in keyof T]: number };
|
type T50<T> = { [P in keyof T]: number };
|
||||||
type T51 = T50<unknown>; // { [x: string]: number }
|
type T51 = T50<any>; // { [x: string]: number }
|
||||||
type T52 = T50<any>; // { [x: string]: number }
|
type T52 = T50<unknown>; // {}
|
||||||
|
|
||||||
// Anything is assignable to unknown
|
// Anything is assignable to unknown
|
||||||
|
|
||||||
|
|
|
@ -94,7 +94,7 @@ type T33<T> = T extends never ? true : false; // Deferred
|
||||||
type T40 = keyof any; // string | number | symbol
|
type T40 = keyof any; // string | number | symbol
|
||||||
>T40 : Symbol(T40, Decl(unknownType1.ts, 32, 45))
|
>T40 : Symbol(T40, Decl(unknownType1.ts, 32, 45))
|
||||||
|
|
||||||
type T41 = keyof unknown; // string | number | symbol
|
type T41 = keyof unknown; // never
|
||||||
>T41 : Symbol(T41, Decl(unknownType1.ts, 36, 21))
|
>T41 : Symbol(T41, Decl(unknownType1.ts, 36, 21))
|
||||||
|
|
||||||
// Only equality operators are allowed with unknown
|
// Only equality operators are allowed with unknown
|
||||||
|
@ -196,18 +196,18 @@ type T50<T> = { [P in keyof T]: number };
|
||||||
>P : Symbol(P, Decl(unknownType1.ts, 81, 17))
|
>P : Symbol(P, Decl(unknownType1.ts, 81, 17))
|
||||||
>T : Symbol(T, Decl(unknownType1.ts, 81, 9))
|
>T : Symbol(T, Decl(unknownType1.ts, 81, 9))
|
||||||
|
|
||||||
type T51 = T50<unknown>; // { [x: string]: number }
|
type T51 = T50<any>; // { [x: string]: number }
|
||||||
>T51 : Symbol(T51, Decl(unknownType1.ts, 81, 41))
|
>T51 : Symbol(T51, Decl(unknownType1.ts, 81, 41))
|
||||||
>T50 : Symbol(T50, Decl(unknownType1.ts, 77, 1))
|
>T50 : Symbol(T50, Decl(unknownType1.ts, 77, 1))
|
||||||
|
|
||||||
type T52 = T50<any>; // { [x: string]: number }
|
type T52 = T50<unknown>; // {}
|
||||||
>T52 : Symbol(T52, Decl(unknownType1.ts, 82, 24))
|
>T52 : Symbol(T52, Decl(unknownType1.ts, 82, 20))
|
||||||
>T50 : Symbol(T50, Decl(unknownType1.ts, 77, 1))
|
>T50 : Symbol(T50, Decl(unknownType1.ts, 77, 1))
|
||||||
|
|
||||||
// Anything is assignable to unknown
|
// Anything is assignable to unknown
|
||||||
|
|
||||||
function f21<T>(pAny: any, pNever: never, pT: T) {
|
function f21<T>(pAny: any, pNever: never, pT: T) {
|
||||||
>f21 : Symbol(f21, Decl(unknownType1.ts, 83, 20))
|
>f21 : Symbol(f21, Decl(unknownType1.ts, 83, 24))
|
||||||
>T : Symbol(T, Decl(unknownType1.ts, 87, 13))
|
>T : Symbol(T, Decl(unknownType1.ts, 87, 13))
|
||||||
>pAny : Symbol(pAny, Decl(unknownType1.ts, 87, 16))
|
>pAny : Symbol(pAny, Decl(unknownType1.ts, 87, 16))
|
||||||
>pNever : Symbol(pNever, Decl(unknownType1.ts, 87, 26))
|
>pNever : Symbol(pNever, Decl(unknownType1.ts, 87, 26))
|
||||||
|
|
|
@ -106,8 +106,8 @@ type T33<T> = T extends never ? true : false; // Deferred
|
||||||
type T40 = keyof any; // string | number | symbol
|
type T40 = keyof any; // string | number | symbol
|
||||||
>T40 : string | number | symbol
|
>T40 : string | number | symbol
|
||||||
|
|
||||||
type T41 = keyof unknown; // string | number | symbol
|
type T41 = keyof unknown; // never
|
||||||
>T41 : string | number | symbol
|
>T41 : never
|
||||||
|
|
||||||
// Only equality operators are allowed with unknown
|
// Only equality operators are allowed with unknown
|
||||||
|
|
||||||
|
@ -240,12 +240,12 @@ type T50<T> = { [P in keyof T]: number };
|
||||||
>P : P
|
>P : P
|
||||||
>T : T
|
>T : T
|
||||||
|
|
||||||
type T51 = T50<unknown>; // { [x: string]: number }
|
type T51 = T50<any>; // { [x: string]: number }
|
||||||
>T51 : T50<unknown>
|
>T51 : T50<any>
|
||||||
>T50 : T50<T>
|
>T50 : T50<T>
|
||||||
|
|
||||||
type T52 = T50<any>; // { [x: string]: number }
|
type T52 = T50<unknown>; // {}
|
||||||
>T52 : T50<any>
|
>T52 : T50<unknown>
|
||||||
>T50 : T50<T>
|
>T50 : T50<T>
|
||||||
|
|
||||||
// Anything is assignable to unknown
|
// Anything is assignable to unknown
|
||||||
|
|
Loading…
Reference in a new issue