Test access level check

Author: ApolloZhu

test/Macros/macro_default_argument_access_level.swift

@@ -0,0 +1,26 @@
+// REQUIRES: swift_swift_parser
+
+// RUN: %empty-directory(%t)
+// RUN: %host-build-swift -swift-version 5 -emit-library -o %t/%target-library-name(MacroDefinition) -module-name=MacroDefinition %S/Inputs/syntax_macro_definitions.swift -g -no-toolchain-stdlib-rpath
+
+// RUN: %target-typecheck-verify-swift -swift-version 5 -load-plugin-library %t/%target-library-name(MacroDefinition) %s -enable-experimental-feature ExpressionMacroDefaultArguments
+
+public typealias Stringified<T> = (T, String)
+
+@freestanding(expression)
+public macro publicStringify<T>(_ value: T) -> Stringified<T> = #externalMacro(
+    module: "MacroDefinition", type: "StringifyMacro"
+)
+
+public func publicUsePublic(okay: Stringified<Int> = #publicStringify(0)) {}
+func internalUsePublic(okay: Stringified<Int> = #publicStringify(0)) {}
+
+// expected-note@+2{{macro 'stringify' is not '@usableFromInline' or public}}
+@freestanding(expression)
+macro stringify<T>(_ value: T) -> Stringified<T> = #externalMacro(
+    module: "MacroDefinition", type: "StringifyMacro"
+)
+
+// expected-error@+1{{macro 'stringify' is internal and cannot be referenced from a default argument value}}
+public func publicUseInternal(fail: Stringified<Int> = #stringify(0)) {}
+func internalUseInternal(okay: Stringified<Int> = #stringify(0)) {}

test/Macros/macro_default_argument_diagnostics.swift

@@ -7,7 +7,6 @@
 
 public typealias Stringified<T> = (T, String)
 
-// expected-note@+2{{macro 'stringify' is not '@usableFromInline' or public}}
 @freestanding(expression)
 macro stringify<T>(_ value: T) -> Stringified<T> = #externalMacro(
     module: "MacroDefinition", type: "StringifyMacro"
@@ -56,8 +55,5 @@ func testIdentifier(notOkay: Stringified<String> = #stringify(myString)) {}
 // expected-error@+1{{only literals are permitted}}
 func testString(interpolated: Stringified<String> = #stringify("Hello \(0b10001)")) {}
 
-// expected-error@+1{{macro 'stringify' is internal and cannot be referenced from a default argument value}}
-public func testAccess(internal: Stringified<Int> = #stringify(0)) {}
-
 // expected-error@+1{{default argument value of type '(Int, String)' cannot be converted to type 'Int'}}
 func testReturn(wrongType: Int = #stringify(0)) {}