Merge pull request #22229 from xedin/rdar-47586626-5.0

[5.0][TypeChecker] Drop @autoclosure attribute from invalid parameters

Author: AnnaZaks

lib/Parse/ParsePattern.cpp

@@ -489,6 +489,10 @@ mapParsedParameters(Parser &parser,
       // belongs to both type flags and declaration.
       if (auto *ATR = dyn_cast<AttributedTypeRepr>(type)) {
         auto &attrs = ATR->getAttrs();
+        // At this point we actually don't know if that's valid to mark
+        // this parameter declaration as `autoclosure` because type has
+        // not been resolved yet - it should either be a function type
+        // or typealias with underlying function type.
         param->setAutoClosure(attrs.has(TypeAttrKind::TAK_autoclosure));
       }
     } else if (paramContext != Parser::ParameterContextKind::Closure) {

lib/Sema/TypeCheckPattern.cpp

@@ -773,6 +773,13 @@ static bool validateParameterType(ParamDecl *decl, TypeResolution resolution,
     }
   }
 
+  // If this parameter declaration is marked as `@autoclosure`
+  // let's make sure that its parameter type is indeed a function,
+  // this decision couldn't be made based on type representative
+  // alone because it may be later resolved into an invalid type.
+  if (decl->isAutoClosure())
+    hadError |= !(Ty && Ty->is<FunctionType>());
+
   if (hadError)
     TL.setInvalidType(TC.Context);
 

lib/Sema/TypeCheckType.cpp

@@ -2275,10 +2275,6 @@ bool TypeResolver::resolveASTFunctionTypeParams(
       variadic = true;
     }
 
-    bool autoclosure = false;
-    if (auto *ATR = dyn_cast<AttributedTypeRepr>(eltTypeRepr))
-      autoclosure = ATR->getAttrs().has(TAK_autoclosure);
-
     Type ty = resolveType(eltTypeRepr, thisElementOptions);
     if (!ty) return true;
 
@@ -2292,6 +2288,16 @@ bool TypeResolver::resolveASTFunctionTypeParams(
       ty = ty->mapTypeOutOfContext();
     }
 
+    bool autoclosure = false;
+    if (auto *ATR = dyn_cast<AttributedTypeRepr>(eltTypeRepr)) {
+      // Make sure that parameter itself is of a function type, otherwise
+      // the problem would already be diagnosed by `resolveAttributedType`
+      // but attributes would stay unchanged. So as a recovery let's drop
+      // 'autoclosure' attribute from the resolved parameter.
+      autoclosure =
+          ty->is<FunctionType>() && ATR->getAttrs().has(TAK_autoclosure);
+    }
+
     ValueOwnership ownership;
 
     auto *nestedRepr = eltTypeRepr;

test/attr/attr_autoclosure.swift

@@ -234,3 +234,16 @@ func rdar_30906031(in arr: [Int], fn: @autoclosure () -> Int) -> Bool {
     arr.lazy.filter { $0 >= escapableF() }.isEmpty
   }
 }
+
+func rdar_47586626() {
+  struct S {}
+  typealias F = () -> S
+
+  func foo(_: @autoclosure S) {} // expected-error {{@autoclosure attribute only applies to function types}}
+  func bar(_: @autoclosure F) {} // expected-error {{@autoclosure attribute only applies to function types}}
+
+  let s = S()
+
+  foo(s) // ok
+  bar(s) // ok
+}