[AST] ASTPrinter: Always print attributes after parameter specifiers

Author: xedin

lib/AST/ASTPrinter.cpp

@@ -3856,13 +3856,6 @@ static void printParameterFlags(ASTPrinter &printer,
     printer.printKeyword("nonisolated(nonsending)", options, " ");
   }
 
-  if (!options.excludeAttrKind(TypeAttrKind::Autoclosure) &&
-      flags.isAutoClosure())
-    printer.printAttrName("@autoclosure ");
-  if (!options.excludeAttrKind(TypeAttrKind::NoDerivative) &&
-      flags.isNoDerivative())
-    printer.printAttrName("@noDerivative ");
-
   switch (flags.getOwnershipSpecifier()) {
   case ParamSpecifier::Default:
     /*nothing*/
@@ -3908,15 +3901,22 @@ static void printParameterFlags(ASTPrinter &printer,
       printer.printKeyword("isolated", options, " ");
   }
 
+  if (flags.isCompileTimeLiteral())
+    printer.printKeyword("_const", options, " ");
+
+  if (!options.excludeAttrKind(TypeAttrKind::Autoclosure) &&
+      flags.isAutoClosure())
+    printer.printAttrName("@autoclosure ");
+  if (!options.excludeAttrKind(TypeAttrKind::NoDerivative) &&
+      flags.isNoDerivative())
+    printer.printAttrName("@noDerivative ");
+
   // `inout` implies `@escaping`
   if (flags.getOwnershipSpecifier() != ParamSpecifier::InOut) {
     if (!options.excludeAttrKind(TypeAttrKind::Escaping) && escaping)
       printer.printAttrName("@escaping ");
   }
 
-  if (flags.isCompileTimeLiteral())
-    printer.printKeyword("_const", options, " ");
-  
   if (flags.isConstValue())
     printer.printAttrName("@const ");
 }

test/ModuleInterface/attrs.swift

@@ -100,3 +100,12 @@ public enum TestExtensible {
   case a
   case b
 }
+
+public struct TestPlacementOfAttrsAndSpecifiers {
+  // CHECK: public func test1<T>(_: sending @autoclosure () -> T)
+  public func test1<T>(_: sending @autoclosure () -> T) {}
+  // CHECK: public func test2<T>(_: borrowing @autoclosure () -> T)
+  public func test2<T>(_: borrowing @autoclosure () -> T) {}
+  // CHECK: public func test3<T>(_: inout () async -> T)
+  public func test3<T>(_: inout () async -> T) {}
+}