JavaScriptBench
diff --git a/Collapse file
‎src/compiler/checker.ts‎
Copy file name to clipboardExpand all lines: src/compiler/checker.ts
+2-1Lines changed: 2 additions & 1 deletion b/Collapse file
‎src/compiler/checker.ts‎
Copy file name to clipboardExpand all lines: src/compiler/checker.ts
+2-1Lines changed: 2 additions & 1 deletion
diff --git a/Collapse file
‎src/compiler/types.ts‎
Copy file name to clipboardExpand all lines: src/compiler/types.ts
+1Lines changed: 1 addition & 0 deletions b/Collapse file
‎src/compiler/types.ts‎
Copy file name to clipboardExpand all lines: src/compiler/types.ts
+1Lines changed: 1 addition & 0 deletions
diff --git a/Collapse file
‎src/services/completions.ts‎
Copy file name to clipboardExpand all lines: src/services/completions.ts
+1-1Lines changed: 1 addition & 1 deletion b/Collapse file
‎src/services/completions.ts‎
Copy file name to clipboardExpand all lines: src/services/completions.ts
+1-1Lines changed: 1 addition & 1 deletion
diff --git a/Collapse file
‎tests/cases/fourslash/completionsKeyof.ts‎
Copy file name to clipboard
+17Lines changed: 17 additions & 0 deletions b/Collapse file
‎tests/cases/fourslash/completionsKeyof.ts‎
Copy file name to clipboard
+17Lines changed: 17 additions & 0 deletions
@@ -204,7 +204,8 @@ namespace ts {
                 // since we are only interested in declarations of the module itself
                 return tryFindAmbientModule(moduleName, /*withAugmentations*/ false);
             },
-            getApparentType
+            getApparentType,
+            getBaseConstraintOfType,
         };
 
         const tupleTypes: GenericType[] = [];
 
@@ -2552,6 +2552,7 @@ namespace ts {
 
         tryGetMemberInModuleExports(memberName: string, moduleSymbol: Symbol): Symbol | undefined;
         getApparentType(type: Type): Type;
+        /* @internal */ getBaseConstraintOfType(type: Type): Type;
 
         /* @internal */ tryFindAmbientModuleWithoutAugmentations(moduleName: string): Symbol;
 
 
@@ -260,7 +260,7 @@ namespace ts.Completions {
 
     function addStringLiteralCompletionsFromType(type: Type, result: Push<CompletionEntry>, typeChecker: TypeChecker): void {
         if (type && type.flags & TypeFlags.TypeParameter) {
-            type = typeChecker.getApparentType(type);
+            type = typeChecker.getBaseConstraintOfType(type);
         }
         if (!type) {
             return;
 
@@ -0,0 +1,17 @@
+/// <reference path="fourslash.ts" />
+
+////interface A { a: number; };
+////interface B { a: number; b: number; };
+////function f<T extends keyof A>(key: T) {}
+////f("/*f*/");
+////function g<T extends keyof B>(key: T) {}
+////g("/*g*/");
+
+goTo.marker("f");
+verify.completionListCount(1);
+verify.completionListContains("a");
+
+goTo.marker("g");
+verify.completionListCount(2);
+verify.completionListContains("a");
+verify.completionListContains("b");
Original file line number	Diff line number	Diff line change
`@@ -260,7 +260,7 @@ namespace ts.Completions {`
`260`	`260`
`261`	`261`	`function addStringLiteralCompletionsFromType(type: Type, result: Push<CompletionEntry>, typeChecker: TypeChecker): void {`
`262`	`262`	`if (type && type.flags & TypeFlags.TypeParameter) {`
`263`		`- type = typeChecker.getApparentType(type);`
	`263`	`+ type = typeChecker.getBaseConstraintOfType(type);`
`264`	`264`	`}`
`265`	`265`	`if (!type) {`
`266`	`266`	`return;`