Exception for 'any' constraint only applies to type parameters

ahejlsberg · ahejlsberg · commit ce6fd5eeaaed · 2018-05-08T09:42:03.000-07:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -10740,7 +10740,7 @@ namespace ts {
                         }
                     }
                     const constraint = getConstraintForRelation(<TypeParameter>source);
-                    if (!constraint || constraint.flags & TypeFlags.Any) {
+                    if (!constraint || (source.flags & TypeFlags.TypeParameter && constraint.flags & TypeFlags.Any)) {
                         // A type variable with no constraint is not related to the non-primitive object type.
                         if (result = isRelatedTo(emptyObjectType, extractTypesOfKind(target, ~TypeFlags.NonPrimitive))) {
                             errorInfo = saveErrorInfo;

Original file line number	Diff line number	Diff line change
`@@ -10740,7 +10740,7 @@ namespace ts {`
`10740`	`10740`	`}`
`10741`	`10741`	`}`
`10742`	`10742`	`const constraint = getConstraintForRelation(<TypeParameter>source);`
`10743`		`- if (!constraint \|\| constraint.flags & TypeFlags.Any) {`
	`10743`	`+ if (!constraint \|\| (source.flags & TypeFlags.TypeParameter && constraint.flags & TypeFlags.Any)) {`
`10744`	`10744`	`// A type variable with no constraint is not related to the non-primitive object type.`
`10745`	`10745`	`if (result = isRelatedTo(emptyObjectType, extractTypesOfKind(target, ~TypeFlags.NonPrimitive))) {`
`10746`	`10746`	`errorInfo = saveErrorInfo;`