Improve non-static macro implementation error message

compiler/src/dotty/tools/dotc/transform/Splicer.scala

@@ -31,6 +31,7 @@ import dotty.tools.dotc.quoted.{PickledQuotes, QuoteUtils}
 
 import scala.quoted.Quotes
 import scala.quoted.runtime.impl._
+import dotty.tools.dotc.core.NameKinds
 
 /** Utility class to splice quoted expressions */
 object Splicer {
@@ -214,6 +215,13 @@ object Splicer {
             report.error("Macro cannot be implemented with an `inline` method", fn.srcPos)
           args.flatten.foreach(checkIfValidArgument)
 
+        case Call(fn, args) if fn.symbol.name.is(NameKinds.InlineAccessorName) =>
+          // TODO suggest use of @binaryAPI one we have the annotation
+          report.error(
+            i"""Macro implementation is not statically accessible.
+              |
+              |Non-static inline accessor was generated in ${fn.symbol.owner}
+              |""".stripMargin, tree.srcPos)
         case _ =>
           report.error(
             """Malformed macro.

tests/neg-macros/i15413.check

@@ -0,0 +1,6 @@
+-- Error: tests/neg-macros/i15413.scala:4:22 ---------------------------------------------------------------------------
+4 |  inline def foo = ${ Macro.fooImpl } // error
+  |                      ^^^^^^^^^^^^^
+  |                      Macro implementation is not statically accessible.
+  |
+  |                      Non-static inline accessor was generated in class Macro

tests/neg-macros/i15413.scala

@@ -0,0 +1,7 @@
+import scala.quoted.*
+
+class Macro:
+  inline def foo = ${ Macro.fooImpl } // error
+
+object Macro:
+  private def fooImpl(using Quotes) = '{}