[CSSimplify] Allow l-value object simplication if l-value type is a placeholder

Placeholders propagate but we still can allow contextual inference,
to facilitate that the solver should consider `l-value object` constraint
to be solved and allow placeholders on "object" type.

Author: xedin

lib/Sema/CSSimplify.cpp

@@ -14178,6 +14178,14 @@ ConstraintSystem::simplifyLValueObjectConstraint(
     return type->is<LValueType>();
   };
 
+  if (lvalueTy->isPlaceholder()) {
+    if (!shouldAttemptFixes())
+      return SolutionKind::Error;
+
+    recordAnyTypeVarAsPotentialHole(type2);
+    return SolutionKind::Solved;
+  }
+
   if (!isOrCanBeLValueType(lvalueTy)) {
     if (!shouldAttemptFixes())
       return SolutionKind::Error;