Handle all instantiable non-primitive types in homomorphic mapped types

ahejlsberg · ahejlsberg · commit bb28444f8c35 · 2018-02-06T12:27:35.000-08:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -8781,7 +8781,7 @@ namespace ts {
         }
 
         function isMappableType(type: Type) {
-            return type.flags & (TypeFlags.Any | TypeFlags.TypeParameter | TypeFlags.Object | TypeFlags.Intersection | TypeFlags.IndexedAccess);
+            return type.flags & (TypeFlags.Any | TypeFlags.InstantiableNonPrimitive | TypeFlags.Object | TypeFlags.Intersection);
         }
 
         function instantiateAnonymousType(type: AnonymousType, mapper: TypeMapper): AnonymousType {

Original file line number	Diff line number	Diff line change
`@@ -8781,7 +8781,7 @@ namespace ts {`
`8781`	`8781`	`}`
`8782`	`8782`
`8783`	`8783`	`function isMappableType(type: Type) {`
`8784`		`- return type.flags & (TypeFlags.Any \| TypeFlags.TypeParameter \| TypeFlags.Object \| TypeFlags.Intersection \| TypeFlags.IndexedAccess);`
	`8784`	`+ return type.flags & (TypeFlags.Any \| TypeFlags.InstantiableNonPrimitive \| TypeFlags.Object \| TypeFlags.Intersection);`
`8785`	`8785`	`}`
`8786`	`8786`
`8787`	`8787`	`function instantiateAnonymousType(type: AnonymousType, mapper: TypeMapper): AnonymousType {`