Add a check whether a parameter has a type and remove extra request for accessors

This seems to be handled by typeCheckAbstractFunctionBody

Author: aschwaighofer

lib/Sema/TypeCheckDecl.cpp

@@ -5341,10 +5341,6 @@ class DeclChecker : public DeclVisitor<DeclChecker> {
       case AccessorKind::IsMaterializeForSet:
         break;
       }
-      // Request nominal layout for any types that could be sources of
-      // typemetadata or conformances.
-      if (accessor->hasBody())
-        TC.requestRequiredNominalTypeLayoutForParameters(valueParams);
     }
 
     // Before anything else, set up the 'self' argument correctly if present.

lib/Sema/TypeCheckPattern.cpp

@@ -780,6 +780,9 @@ static bool validateParameterType(ParamDecl *decl, DeclContext *DC,
 void TypeChecker::requestRequiredNominalTypeLayoutForParameters(
     ParameterList *PL) {
   for (auto param : *PL) {
+    if (!param->hasType())
+      continue;
+
     // Generic types are sources for typemetadata and conformances. If a
     // parameter is of dependent type then the body of a function with said
     // parameter could potentially require the generic type's layout to