Merge pull request #66327 from DougGregor/local-types-in-macro-expansions

Author: DougGregor

lib/Parse/ParseDecl.cpp

@@ -5162,7 +5162,7 @@ void Parser::recordLocalType(TypeDecl *TD) {
     return;
 
   if (!InInactiveClauseEnvironment)
-    SF.LocalTypeDecls.insert(TD);
+    SF.getOutermostParentSourceFile()->LocalTypeDecls.insert(TD);
 }
 
 /// Set the original declaration in `@differentiable` attributes.

test/Macros/macro_expand.swift

@@ -235,11 +235,17 @@ func testStringifyWithThrows() throws {
 
     // CHECK-DIAGS: @__swiftmacro_9MacroUser23testStringifyWithThrowsyyKF9stringifyfMf1_.swift:1:2: error: call can throw but is not marked with 'try'
 #endif
-  
+
   // The macro adds the 'try' for us.
   _ = #stringifyAndTry(maybeThrowing())
 }
 
+func testStringifyWithLocalType() throws {
+  _ =  #stringify({
+    struct QuailError: Error {}
+    throw QuailError()
+    })
+}
 
 @freestanding(expression) macro addBlocker<T>(_ value: T) -> T = #externalMacro(module: "MacroDefinition", type: "AddBlocker")
 
@@ -496,7 +502,7 @@ func testHasEqualsSelf(
   _ = (y == true) // expected-error{{referencing operator function '=='}}
   _ = (z == true) // expected-error{{referencing operator function '=='}}
   _ = (w == true) // expected-error{{referencing operator function '=='}}
-  #endif
+#endif
 
   // These should be found through the protocol.
   _ = (xP == true)