Revert "[CSGen] Prevent @concurrent on closures from skipping throws inference"

This reverts commit cda9866.

Author: hamishknight

lib/Sema/ConstraintSystem.cpp

@@ -1414,6 +1414,11 @@ FunctionType::ExtInfo ClosureEffectsRequest::evaluate(
   bool async = expr->getAsyncLoc().isValid();
   bool sendable = expr->getAttrs().hasAttribute<SendableAttr>();
 
+  // `@concurrent` attribute is only valid on asynchronous function types.
+  if (expr->getAttrs().hasAttribute<ConcurrentAttr>()) {
+    async = true;
+  }
+
   if (throws || async) {
     return ASTExtInfoBuilder()
       .withThrows(throws, /*FIXME:*/Type())
@@ -1427,17 +1432,11 @@ FunctionType::ExtInfo ClosureEffectsRequest::evaluate(
   if (!body)
     return ASTExtInfoBuilder().withSendable(sendable).build();
 
-  // `@concurrent` attribute is only valid on asynchronous function types.
-  bool asyncFromAttr = false;
-  if (expr->getAttrs().hasAttribute<ConcurrentAttr>()) {
-    asyncFromAttr = true;
-  }
-
   auto throwFinder = FindInnerThrows(expr);
   body->walk(throwFinder);
   return ASTExtInfoBuilder()
       .withThrows(throwFinder.foundThrow(), /*FIXME:*/Type())
-      .withAsync(asyncFromAttr || bool(findAsyncNode(expr)))
+      .withAsync(bool(findAsyncNode(expr)))
       .withSendable(sendable)
       .build();
 }

test/attr/execution_behavior_attrs.swift

@@ -137,24 +137,3 @@ _ = { @MainActor @concurrent in
 _ = { @concurrent () -> Int in
   // expected-error@-1 {{@concurrent on non-async closure}}
 }
-
-// Make sure that explicit use of `@concurrent` doesn't interfere with inference of `throws` from the body.
-do {
-    func acceptsThrowing(_ body: () async throws -> Void) async {
-    }
-
-  struct Invocation {
-    func throwingFn() async throws {
-    }
-  }
-
-  func test(invocation: Invocation) async {
-    await acceptsThrowing({ @concurrent in try await invocation.throwingFn() }) // Ok
-    await acceptsThrowing({ @concurrent [invocation] in try await invocation.throwingFn() }) // Ok
-
-    await acceptsThrowing({ @concurrent in // Ok
-      _ = 42
-      try await invocation.throwingFn()
-    })
-  }
-}