add fourslash test and fix the reduction issue

Author: Andarist

src/compiler/checker.ts

@@ -16439,7 +16439,11 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
     }
 
     function removeStringLiteralsMatchedByTemplateLiterals(types: Type[]) {
-        const templates = filter(types, t => !!(t.flags & TypeFlags.TemplateLiteral) && isPatternLiteralType(t)) as TemplateLiteralType[];
+        const templates = filter(types, t =>
+            !!(t.flags & TypeFlags.TemplateLiteral) &&
+            isPatternLiteralType(t) &&
+            (t as TemplateLiteralType).types.every(t => !(t.flags & TypeFlags.Intersection) || !areIntersectedTypesAvoidingPrimitiveReduction((t as IntersectionType).types))
+        ) as TemplateLiteralType[];
         if (templates.length) {
             let i = types.length;
             while (i > 0) {

tests/baselines/reference/templateLiteralTypesPatterns.types

@@ -638,20 +638,20 @@ export abstract class BB {
 // repro from https://github.com/microsoft/TypeScript/issues/54177#issuecomment-1538436654
 function conversionTest(groupName: | "downcast" | "dataDowncast" | "editingDowncast" | `${string & {}}Downcast`) {}
 >conversionTest : (groupName: "downcast" | "dataDowncast" | "editingDowncast" | `${string & {}}Downcast`) => void
->groupName : `${string & {}}Downcast` | "downcast"
+>groupName : `${string & {}}Downcast` | "downcast" | "dataDowncast" | "editingDowncast"
 
 conversionTest("testDowncast");
 >conversionTest("testDowncast") : void
->conversionTest : (groupName: `${string & {}}Downcast` | "downcast") => void
+>conversionTest : (groupName: `${string & {}}Downcast` | "downcast" | "dataDowncast" | "editingDowncast") => void
 >"testDowncast" : "testDowncast"
 
 function conversionTest2(groupName: | "downcast" | "dataDowncast" | "editingDowncast" | `${{} & string}Downcast`) {}
 >conversionTest2 : (groupName: "downcast" | "dataDowncast" | "editingDowncast" | `${{} & string}Downcast`) => void
->groupName : "downcast" | `${{} & string}Downcast`
+>groupName : "downcast" | "dataDowncast" | "editingDowncast" | `${{} & string}Downcast`
 
 conversionTest2("testDowncast");
 >conversionTest2("testDowncast") : void
->conversionTest2 : (groupName: "downcast" | `${{} & string}Downcast`) => void
+>conversionTest2 : (groupName: "downcast" | "dataDowncast" | "editingDowncast" | `${{} & string}Downcast`) => void
 >"testDowncast" : "testDowncast"
 
 function foo(str: `${`a${string}` & `${string}a`}Test`) {}

tests/cases/fourslash/stringLiteralCompletionsForOpenEndedTemplateLiteralType.ts

@@ -0,0 +1,6 @@
+/// <reference path="fourslash.ts" />
+
+//// function conversionTest(groupName: | "downcast" | "dataDowncast" | "editingDowncast" | `${string & {}}Downcast`) {}
+//// conversionTest("/**/");
+
+verify.completions({ marker: "", exact: ["downcast", "dataDowncast", "editingDowncast"] });