diff --git a/tests/cases/conformance/types/unknown/unknownType1.ts b/tests/cases/conformance/types/unknown/unknownType1.ts index dfd1c18693e..b7a9e717231 100644 --- a/tests/cases/conformance/types/unknown/unknownType1.ts +++ b/tests/cases/conformance/types/unknown/unknownType1.ts @@ -37,7 +37,7 @@ type T33 = T extends never ? true : false; // Deferred // keyof unknown 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 @@ -82,8 +82,8 @@ function f20(x: unknown) { // Homomorphic mapped type over unknown type T50 = { [P in keyof T]: number }; -type T51 = T50; // { [x: string]: number } -type T52 = T50; // { [x: string]: number } +type T51 = T50; // { [x: string]: number } +type T52 = T50; // {} // Anything is assignable to unknown