Remove freshness from literal types in intersections

ahejlsberg · ahejlsberg · commit 6911acf80b71 · 2017-11-02T14:28:46.000-07:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -7589,11 +7589,11 @@ namespace ts {
             }
         }
 
-        // Add the given types to the given type set. Order is preserved, duplicates are removed,
-        // and nested types of the given kind are flattened into the set.
+        // Add the given types to the given type set. Order is preserved, freshness is removed from literal
+        // types, duplicates are removed, and nested types of the given kind are flattened into the set.
         function addTypesToIntersection(typeSet: TypeSet, types: Type[]) {
             for (const type of types) {
-                addTypeToIntersection(typeSet, type);
+                addTypeToIntersection(typeSet, getRegularTypeOfLiteralType(type));
             }
         }
 

Original file line number	Diff line number	Diff line change
`@@ -7589,11 +7589,11 @@ namespace ts {`
`7589`	`7589`	`}`
`7590`	`7590`	`}`
`7591`	`7591`
`7592`		`- // Add the given types to the given type set. Order is preserved, duplicates are removed,`
`7593`		`- // and nested types of the given kind are flattened into the set.`
	`7592`	`+ // Add the given types to the given type set. Order is preserved, freshness is removed from literal`
	`7593`	`+ // types, duplicates are removed, and nested types of the given kind are flattened into the set.`
`7594`	`7594`	`function addTypesToIntersection(typeSet: TypeSet, types: Type[]) {`
`7595`	`7595`	`for (const type of types) {`
`7596`		`- addTypeToIntersection(typeSet, type);`
	`7596`	`+ addTypeToIntersection(typeSet, getRegularTypeOfLiteralType(type));`
`7597`	`7597`	`}`
`7598`	`7598`	`}`
`7599`	`7599`