Add regression test for #19909 (#19915)

Closes #19909 Probably fixed by #19645
scala · Mar 11, 2024 · f6e4e65 · f6e4e65
2 parents 46b7bf5 + 2a97cb4
commit f6e4e65
Show file tree

Hide file tree

Showing 4 changed files with 54 additions and 0 deletions.
diff --git a/tests/pos-macros/i19909/Macro_1.scala b/tests/pos-macros/i19909/Macro_1.scala
@@ -0,0 +1,12 @@
+package examples.select
+
+import scala.language.dynamics
+import scala.quoted.*
+
+case class Wrapper[A](inner: A) extends Dynamic:
+  transparent inline def selectDynamic(inline name: String) =
+    ${selectDynamicImpl('inner, 'name)}
+
+def selectDynamicImpl[A:Type](inner: Expr[A], name: Expr[String])(using quotes: Quotes): Expr[Any] =
+  import quotes.reflect.*
+  Select.unique(inner.asTerm, name.valueOrAbort).asExpr
diff --git a/tests/pos-macros/i19909/Test_2.scala b/tests/pos-macros/i19909/Test_2.scala
@@ -0,0 +1,15 @@
+package examples.select
+
+
+import scala.language.dynamics
+import examples.select.Wrapper
+
+object Dynamic0:
+
+  @main
+  def runTimeError =
+
+    val w = Wrapper(Option(1))
+    println(w.isEmpty)
+
+end Dynamic0
diff --git a/tests/pos-macros/i19909b/Macro.scala b/tests/pos-macros/i19909b/Macro.scala
@@ -0,0 +1,12 @@
+package examples.select
+
+import scala.language.dynamics
+import scala.quoted.*
+
+case class Wrapper[A](inner: A) extends Dynamic:
+  transparent inline def selectDynamic(inline name: String) =
+    ${selectDynamicImpl('inner, 'name)}
+
+def selectDynamicImpl[A:Type](inner: Expr[A], name: Expr[String])(using quotes: Quotes): Expr[Any] =
+  import quotes.reflect.*
+  Select.unique(inner.asTerm, name.valueOrAbort).asExpr
diff --git a/tests/pos-macros/i19909b/Test.scala b/tests/pos-macros/i19909b/Test.scala
@@ -0,0 +1,15 @@
+package examples.select
+
+
+import scala.language.dynamics
+import examples.select.Wrapper
+
+object Dynamic0:
+
+  @main
+  def runTimeError =
+
+    val w = Wrapper(Option(1))
+    println(w.isEmpty)
+
+end Dynamic0