Merge pull request swiftlang#35193 from etcwilde/ewilde/there-is-no-try-on-main-only-do

Adding implicit try-expr to throwing main

Author: etcwilde

lib/Sema/TypeCheckAttr.cpp

@@ -1952,14 +1952,14 @@ synthesizeMainBody(AbstractFunctionDecl *fn, void *arg) {
 
   if (mainFunction->hasThrows()) {
     auto *tryExpr = new (context) TryExpr(
-        SourceLoc(), callExpr, context.TheEmptyTupleType, /*implicit=*/true);
+        callExpr->getLoc(), callExpr, context.TheEmptyTupleType, /*implicit=*/true);
     returnedExpr = tryExpr;
   } else {
     returnedExpr = callExpr;
   }
 
   auto *returnStmt =
-      new (context) ReturnStmt(SourceLoc(), callExpr, /*Implicit=*/true);
+      new (context) ReturnStmt(SourceLoc(), returnedExpr, /*Implicit=*/true);
 
   SmallVector<ASTNode, 1> stmts;
   stmts.push_back(returnStmt);

test/attr/ApplicationMain/attr_main_throws.swift

@@ -1,8 +1,16 @@
 // RUN: %target-swift-frontend -typecheck -parse-as-library -verify %s
+// RUN: %target-swift-frontend -dump-ast -parse-as-library %s | %FileCheck %s --check-prefix=CHECK-AST
 
 @main
 struct MyBase {
-  static func main() throws { 
+  static func main() throws {
   }
 }
 
+// CHECK-AST: (func_decl implicit "$main()" interface type='(MyBase.Type) -> () throws -> ()' access=internal type
+// CHECK-AST-NEXT:  (parameter "self")
+// CHECK-AST-NEXT:  (parameter_list)
+// CHECK-AST-NEXT:  (brace_stmt implicit
+// CHECK-AST-NEXT:    (return_stmt implicit
+// CHECK-AST-NEXT:      (try_expr implicit
+// CHECK-AST-NEXT:        (call_expr implicit type='()'