Sema: Fix CSGen for ForceTryExpr

Author: slavapestov

lib/Sema/CSGen.cpp

@@ -2060,10 +2060,20 @@ namespace {
       return valueTy;
     }
 
-    Type visitAnyTryExpr(AnyTryExpr *expr) {
+    Type visitTryExpr(AnyTryExpr *expr) {
       return CS.getType(expr->getSubExpr());
     }
 
+    Type visitForceTryExpr(AnyTryExpr *expr) {
+      auto valueTy = CS.createTypeVariable(CS.getConstraintLocator(expr),
+                                           TVO_PrefersSubtypeBinding |
+                                               TVO_CanBindToNoEscape);
+      CS.addConstraint(ConstraintKind::Equal, valueTy,
+                       CS.getType(expr->getSubExpr()),
+                       CS.getConstraintLocator(expr));
+      return valueTy;
+    }
+
     Type visitOptionalTryExpr(OptionalTryExpr *expr) {
       auto valueTy = CS.createTypeVariable(CS.getConstraintLocator(expr),
                                            TVO_PrefersSubtypeBinding |

validation-test/compiler_crashers_fixed/issue-85034.swift

@@ -1,4 +1,5 @@
 // RUN: %target-typecheck-verify-swift
+// RUN: %target-swift-emit-silgen %s
 
 class C {
   var x = 0
@@ -7,4 +8,5 @@ class C {
 do {
   let x = C()
   let _ = (0, try x.x)  // expected-warning {{no calls to throwing functions occur within 'try' expression}}
+  let _ = (0, try! x.x)  // expected-warning {{no calls to throwing functions occur within 'try' expression}}
 }