File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed
tests/cases/conformance/types/unknown Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -37,7 +37,7 @@ type T33<T> = T extends never ? true : false; // Deferred
37
37
// keyof unknown
38
38
39
39
type T40 = keyof any ; // string | number | symbol
40
- type T41 = keyof unknown ; // string | number | symbol
40
+ type T41 = keyof unknown ; // never
41
41
42
42
// Only equality operators are allowed with unknown
43
43
@@ -82,8 +82,8 @@ function f20(x: unknown) {
82
82
// Homomorphic mapped type over unknown
83
83
84
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 }
85
+ type T51 = T50 < any > ; // { [x: string]: number }
86
+ type T52 = T50 < unknown > ; // {}
87
87
88
88
// Anything is assignable to unknown
89
89
You can’t perform that action at this time.
0 commit comments