more enablement of code

(cherry picked from commit 2a51f10)

Author: kavon

lib/Sema/CSSimplify.cpp

@@ -3986,23 +3986,6 @@ ConstraintSystem::matchExistentialTypes(Type type1, Type type2,
     return getTypeMatchAmbiguous();
   }
 
-  if (!getASTContext().LangOpts.hasFeature(Feature::NoncopyableGenerics)) {
-    // move-only types (and their metatypes) cannot match with existential types.
-    if (type1->getMetatypeInstanceType()->isNoncopyable()) {
-      // tailor error message
-      if (shouldAttemptFixes()) {
-        auto *fix = MustBeCopyable::create(*this,
-                                           type1,
-                                           NoncopyableMatchFailure::forExistentialCast(
-                                               type2),
-                                           getConstraintLocator(locator));
-        if (!recordFix(fix))
-          return getTypeMatchSuccess();
-      }
-      return getTypeMatchFailure(locator);
-    }
-  }
-
   // FIXME: Feels like a hack.
   if (type1->is<InOutType>())
     return getTypeMatchFailure(locator);