JavaScriptBench
diff --git a/Collapse file
‎src/compiler/checker.ts‎
Copy file name to clipboardExpand all lines: src/compiler/checker.ts
+1Lines changed: 1 addition & 0 deletions b/Collapse file
‎src/compiler/checker.ts‎
Copy file name to clipboardExpand all lines: src/compiler/checker.ts
+1Lines changed: 1 addition & 0 deletions
diff --git a/Collapse file
‎src/compiler/types.ts‎
Copy file name to clipboardExpand all lines: src/compiler/types.ts
+5Lines changed: 5 additions & 0 deletions b/Collapse file
‎src/compiler/types.ts‎
Copy file name to clipboardExpand all lines: src/compiler/types.ts
+5Lines changed: 5 additions & 0 deletions
diff --git a/Collapse file
‎src/services/completions.ts‎
Copy file name to clipboardExpand all lines: src/services/completions.ts
+1-4Lines changed: 1 addition & 4 deletions b/Collapse file
‎src/services/completions.ts‎
Copy file name to clipboardExpand all lines: src/services/completions.ts
+1-4Lines changed: 1 addition & 4 deletions
diff --git a/Collapse file
‎tests/cases/fourslash/completionForStringLiteral7.ts‎
Copy file name to clipboard
+10Lines changed: 10 additions & 0 deletions b/Collapse file
‎tests/cases/fourslash/completionForStringLiteral7.ts‎
Copy file name to clipboard
+10Lines changed: 10 additions & 0 deletions
@@ -84,6 +84,7 @@ namespace ts {
             getIndexTypeOfType,
             getBaseTypes,
             getTypeFromTypeNode,
+            getParameterType: getTypeAtPosition,
             getReturnTypeOfSignature,
             getNonNullableType,
             getSymbolsInScope,
 
@@ -2341,6 +2341,11 @@ namespace ts {
         getIndexTypeOfType(type: Type, kind: IndexKind): Type;
         getBaseTypes(type: InterfaceType): ObjectType[];
         getReturnTypeOfSignature(signature: Signature): Type;
+        /**
+         * Gets the type of a parameter at a given position in a signature.
+         * Returns `any` if the index is not valid.
+         */
+        /* @internal */ getParameterType(signature: Signature, parameterIndex: number): Type;
         getNonNullableType(type: Type): Type;
 
         getSymbolsInScope(location: Node, meaning: SymbolFlags): Symbol[];
 
@@ -204,10 +204,7 @@ namespace ts.Completions {
             typeChecker.getResolvedSignature(argumentInfo.invocation, candidates);
 
             for (const candidate of candidates) {
-                if (candidate.parameters.length > argumentInfo.argumentIndex) {
-                    const parameter = candidate.parameters[argumentInfo.argumentIndex];
-                    addStringLiteralCompletionsFromType(typeChecker.getTypeAtLocation(parameter.valueDeclaration), entries);
-                }
+                addStringLiteralCompletionsFromType(typeChecker.getParameterType(candidate, argumentInfo.argumentIndex), entries);
             }
 
             if (entries.length) {
 
@@ -0,0 +1,10 @@
+/// <reference path='fourslash.ts'/>
+
+////type T = "foo" | "bar";
+////type U = "oof" | "rab";
+////function f(x: T, ...args: U[]) { };
+////f("/*1*/", "/*2*/", "/*3*/");
+
+verify.completionsAt("1", ["foo", "bar"]);
+verify.completionsAt("2", ["oof", "rab"]);
+verify.completionsAt("3", ["oof", "rab"]);