Explore at least 10 levels of constraints before checking for deeply nested types

ahejlsberg · ahejlsberg · commit db1820b37f48 · 2020-12-14T17:49:48.000-10:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -11053,7 +11053,7 @@ namespace ts {
                         return t.immediateBaseConstraint = noConstraintType;
                     }
                     let result;
-                    if (!isDeeplyNestedType(t, stack, stack.length)) {
+                    if (stack.length < 10 || !isDeeplyNestedType(t, stack, stack.length)) {
                         stack.push(t);
                         constraintDepth++;
                         result = computeBaseConstraint(getSimplifiedType(t, /*writing*/ false));

Original file line number	Diff line number	Diff line change
`@@ -11053,7 +11053,7 @@ namespace ts {`
`11053`	`11053`	`return t.immediateBaseConstraint = noConstraintType;`
`11054`	`11054`	`}`
`11055`	`11055`	`let result;`
`11056`		`- if (!isDeeplyNestedType(t, stack, stack.length)) {`
	`11056`	`+ if (stack.length < 10 \|\| !isDeeplyNestedType(t, stack, stack.length)) {`
`11057`	`11057`	`stack.push(t);`
`11058`	`11058`	`constraintDepth++;`
`11059`	`11059`	`result = computeBaseConstraint(getSimplifiedType(t, /writing/ false));`