[NFC] TypeChecker: Allow to pass SubstOptions to the non-diagnosing 'checkGenericArguments'

Author: AnthonyLatsis

lib/Sema/TypeCheckGeneric.cpp

@@ -933,13 +933,14 @@ RequirementCheckResult TypeChecker::checkGenericArguments(
 RequirementCheckResult
 TypeChecker::checkGenericArguments(ModuleDecl *module,
                                    ArrayRef<Requirement> requirements,
-                                   TypeSubstitutionFn substitutions) {
+                                   TypeSubstitutionFn substitutions,
+                                   SubstOptions options) {
   SmallVector<Requirement, 4> worklist;
   bool valid = true;
 
   for (auto req : requirements) {
     if (auto resolved = req.subst(substitutions,
-                                  LookUpConformanceInModule(module))) {
+                                  LookUpConformanceInModule(module), options)) {
       worklist.push_back(*resolved);
     } else {
       valid = false;

lib/Sema/TypeChecker.h

@@ -484,7 +484,8 @@ RequirementCheckResult checkGenericArguments(
 RequirementCheckResult checkGenericArguments(
     ModuleDecl *module,
     ArrayRef<Requirement> requirements,
-    TypeSubstitutionFn substitutions);
+    TypeSubstitutionFn substitutions,
+    SubstOptions options = None);
 
 /// Checks whether the generic requirements imposed on the nested type
 /// declaration \p decl (if present) are in agreement with the substitutions