[RequirementMachine] Remove unnecessary conditions in concrete type parameter

diagnostics code.

Author: hborla

lib/AST/RequirementMachine/RequirementMachineRequests.cpp

@@ -890,16 +890,12 @@ InferredGenericSignatureRequestRQM::evaluate(
                                            std::move(machine));
     }
 
-    if (!allowConcreteGenericParams && attempt == 0 &&
+    if (!allowConcreteGenericParams &&
         ctx.LangOpts.RequirementMachineInferredSignatures ==
         RequirementMachineMode::Enabled) {
       for (auto genericParam : result.getInnermostGenericParams()) {
         auto canonical = result.getCanonicalTypeInContext(genericParam);
 
-        if (genericParam->is<DependentMemberType>() ||
-            canonical->is<DependentMemberType>())
-          continue;
-
         if (canonical->hasError() || canonical->isEqual(genericParam))
           continue;