We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 074961f commit c694ffeCopy full SHA for c694ffe
tests/cases/conformance/types/unknown/unknownType1.ts
@@ -37,7 +37,7 @@ type T33<T> = T extends never ? true : false; // Deferred
37
// keyof unknown
38
39
type T40 = keyof any; // string | number | symbol
40
-type T41 = keyof unknown; // string | number | symbol
+type T41 = keyof unknown; // never
41
42
// Only equality operators are allowed with unknown
43
@@ -82,8 +82,8 @@ function f20(x: unknown) {
82
// Homomorphic mapped type over unknown
83
84
type T50<T> = { [P in keyof T]: number };
85
-type T51 = T50<unknown>; // { [x: string]: number }
86
-type T52 = T50<any>; // { [x: string]: number }
+type T51 = T50<any>; // { [x: string]: number }
+type T52 = T50<unknown>; // {}
87
88
// Anything is assignable to unknown
89
0 commit comments