Merge pull request #11391 from dotty-staging/fix-#11386

Add regression test

Author: nicolasstucki

tests/neg-macros/i11386.check

@@ -0,0 +1,13 @@
+
+-- Error: tests/neg-macros/i11386/Test_2.scala:6:10 --------------------------------------------------------------------
+6 |    dummy(0) // error
+  |          ^
+  |          test
+  | This location contains code that was inlined from Test_2.scala:6
+  | This location contains code that was inlined from Macro_1.scala:7
+-- Error: tests/neg-macros/i11386/Test_2.scala:8:20 --------------------------------------------------------------------
+8 |    dummy(int2String(0)) // error
+  |          ^^^^^^^^^^^^^
+  |          test
+  | This location contains code that was inlined from Test_2.scala:8
+  | This location contains code that was inlined from Macro_1.scala:7

tests/neg-macros/i11386/Macro_1.scala

@@ -0,0 +1,18 @@
+import scala.language.implicitConversions
+import scala.quoted._
+
+object test {
+
+  inline implicit def int2String(inline i: Int): String = {
+    notNull(i)
+    String.valueOf(i)
+  }
+
+  inline def notNull(inline i: Int): Unit = ${notNullImpl('i)}
+
+  def notNullImpl(expr: Expr[Int])(using quotes: Quotes): Expr[Unit] = {
+    println(expr.show)
+    expr.value.foreach(i => if(i == 0) quotes.reflect.report.error("test"))
+    '{()}
+  }
+}

tests/neg-macros/i11386/Test_2.scala

@@ -0,0 +1,13 @@
+import test._
+
+object Main {
+
+  @main def dottyTest(): Unit = {
+    dummy(0) // error
+    dummy(1)
+    dummy(int2String(0)) // error
+    dummy(int2String(1))
+  }
+
+  def dummy(msg: String): Unit = println(msg) //A simple dummy method to call implicitly test.int2String
+}