Merge pull request #83834 from slavapestov/subst-limit

AST: Allow substitution limits >= 32767

Author: slavapestov

include/swift/AST/InFlightSubstitution.h

@@ -35,9 +35,9 @@ class InFlightSubstitution {
   LookupConformanceFn BaselineLookupConformance;
   SubstOptions Options;
   RecursiveTypeProperties Props;
-  unsigned RemainingCount : 15;
+  unsigned RemainingCount : 31;
   unsigned InitLimit : 1;
-  unsigned RemainingDepth : 15;
+  unsigned RemainingDepth : 31;
   unsigned LimitReached : 1;
 
   struct ActivePackExpansion {

include/swift/Basic/LangOptions.h

@@ -615,11 +615,11 @@ namespace swift {
 
     /// Maximum nesting depth for type substitution operations, to prevent
     /// runaway recursion.
-    unsigned MaxSubstitutionDepth = 1000;
+    unsigned MaxSubstitutionDepth = 500;
 
     /// Maximum step count for type substitution operations, to prevent
     /// runaway recursion.
-    unsigned MaxSubstitutionCount = 32000;
+    unsigned MaxSubstitutionCount = 120000;
 
     /// Enable implicit lifetime dependence for ~Escapable return types.
     bool EnableExperimentalLifetimeDependenceInference = false;