Merge pull request #37598 from xedin/rdar-78102266

[CSApply] Load l-value before wrapping it in try expression

Author: xedin

lib/Sema/CSApply.cpp

@@ -3412,7 +3412,21 @@ namespace {
     }
 
     Expr *visitAnyTryExpr(AnyTryExpr *expr) {
-      cs.setType(expr, cs.getType(expr->getSubExpr()));
+      auto *subExpr = expr->getSubExpr();
+      auto type = simplifyType(cs.getType(subExpr));
+
+      // Let's load the value associated with this try.
+      if (type->hasLValueType()) {
+        subExpr = coerceToType(subExpr, type->getRValueType(),
+                               cs.getConstraintLocator(subExpr));
+
+        if (!subExpr)
+          return nullptr;
+      }
+
+      cs.setType(expr, cs.getType(subExpr));
+      expr->setSubExpr(subExpr);
+
       return expr;
     }
 

validation-test/Sema/type_checker_crashers_fixed/rdar78102266.swift

@@ -0,0 +1,13 @@
+// RUN: %target-swift-frontend %s -typecheck
+
+struct Info {
+}
+
+class Test {
+  var info: Info = Info()
+
+  init() throws {}
+}
+
+_ = try  Test().info // Ok
+_ = try! Test().info // Ok