Merge pull request #70752 from DougGregor/effect-specifier-lookahead-fix

Author: DougGregor

lib/Parse/ParseType.cpp

@@ -1800,7 +1800,6 @@ bool Parser::isAtFunctionTypeArrow() {
     if (isEffectsSpecifier(peekToken())) {
       BacktrackingScope backtrack(*this);
       consumeToken();
-      consumeToken();
       return isAtFunctionTypeArrow();
     }
     // Don't look for '->' in code completion. The user may write it later.

test/Parse/typed_throws.swift

@@ -29,3 +29,8 @@ func testMissingError() throws() { }
 
 func testRethrowsWithThrownType() rethrows(MyError) { }
 // expected-error@-1{{'rethrows' cannot be combined with a specific thrown error type}}
+
+struct S<Element, Failure: Error> {
+  init(produce: @escaping () async throws(Failure) -> Element?) {
+  }
+}