Infer unknown at value positions of objects inferred from keyof T

Author: Andarist

src/compiler/checker.ts

@@ -24526,7 +24526,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
             isTypeParameterAtTopLevel(getReturnTypeOfSignature(signature), typeParameter);
     }
 
-    /** Create an object with properties named in the string literal type. Every property has type `any` */
+    /** Create an object with properties named in the string literal type. Every property has type `unknown` */
     function createEmptyObjectTypeFromStringLiteral(type: Type) {
         const members = createSymbolTable();
         forEachType(type, t => {
@@ -24535,7 +24535,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
             }
             const name = escapeLeadingUnderscores((t as StringLiteralType).value);
             const literalProp = createSymbol(SymbolFlags.Property, name);
-            literalProp.links.type = anyType;
+            literalProp.links.type = unknownType;
             if (t.symbol) {
                 literalProp.declarations = t.symbol.declarations;
                 literalProp.valueDeclaration = t.symbol.valueDeclaration;

tests/baselines/reference/inferObjectTypeFromStringLiteralToKeyof.types

@@ -14,8 +14,8 @@ declare var two: "a" | "d";
 >two : "a" | "d"
 
 const x = inference1(two);
->x : { a: any; d: any; }
->inference1(two) : { a: any; d: any; }
+>x : { a: unknown; d: unknown; }
+>inference1(two) : { a: unknown; d: unknown; }
 >inference1 : <T>(name: keyof T) => T
 >two : "a" | "d"
 

tests/baselines/reference/keyofInferenceIntersectsResults.types

@@ -27,15 +27,15 @@ const a = foo<X>('a', 'b'); // compiles cleanly
 >'b' : "b"
 
 const b = foo('a', 'b');    // also clean
->b : { a: any; } & { b: any; }
->foo('a', 'b') : { a: any; } & { b: any; }
+>b : { a: unknown; } & { b: unknown; }
+>foo('a', 'b') : { a: unknown; } & { b: unknown; }
 >foo : <T = X>(x: keyof T, y: keyof T) => T
 >'a' : "a"
 >'b' : "b"
 
 const c = bar('a', 'b');    // still clean
->c : { a: any; } & { b: any; }
->bar('a', 'b') : { a: any; } & { b: any; }
+>c : { a: unknown; } & { b: unknown; }
+>bar('a', 'b') : { a: unknown; } & { b: unknown; }
 >bar : <T>(x: keyof T, y: keyof T) => T
 >'a' : "a"
 >'b' : "b"