[Sema] Improves diagnostic when passing an argument as property of an…

… optional class instance (swiftlang#57437)
Rajveer100 · Sep 2, 2023 · 89ab678 · 89ab678
1 parent a5607cc
commit 89ab678
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/lib/Sema/CSSimplify.cpp b/lib/Sema/CSSimplify.cpp
@@ -6465,6 +6465,15 @@ bool ConstraintSystem::repairFailures(
     // diagnostics.
     if (flags.contains(TMF_MatchingGenericArguments))
       break;
+
+    if (!path.empty()) {
+      if (path.back().is<LocatorPathElt::ApplyArgToParam>())
+        conversionsOrFixes.push_back(AllowArgumentMismatch::create(
+            *this, lhs, rhs, getConstraintLocator(anchor, path)));
+      else if (path.back().is<LocatorPathElt::ContextualType>())
+        conversionsOrFixes.push_back(IgnoreContextualType::create(
+            *this, lhs, rhs, getConstraintLocator(anchor, path)));
+    }
 
     Type fromType;
     Type toType;