Add regression test (#18287)

Closes #18283

Author: nicolasstucki

tests/run-macros/i18283.check

@@ -0,0 +1,5 @@
+(Test_2$package.Id,Test_2$package.Id,scala.Long)
+(task.Title,task.Title,task.Title)
+Task.run
+(Test_2$package.Id,Test_2$package.Id,Test_2$package.Id)
+(Task.this.Title,Task.this.Title,java.lang.String)

tests/run-macros/i18283/Macro_1.scala

@@ -0,0 +1,14 @@
+import scala.quoted.*
+
+object Macro:
+  transparent inline def getType[T] =
+    ${ getTypeImpl[T] }
+  private def getTypeImpl[T: Type](using Quotes): Expr[Any] =
+    import quotes.reflect.*
+
+    val tpe = TypeRepr.of[T]
+    val reprShow = tpe.show
+    tpe.asType match
+      case '[t] =>
+        val typeShow = TypeRepr.of[t].show // dealiased type
+        Expr((Type.show[T], reprShow, typeShow))

tests/run-macros/i18283/Test_2.scala

@@ -0,0 +1,17 @@
+opaque type Id = Long
+
+class Task:
+  opaque type Title = String
+
+  def a: Title = "a"
+
+  def run =
+    println("Task.run")
+    println(Macro.getType[Id])
+    println(Macro.getType[Title])
+
+@main def Test =
+  val task = new Task
+  println(Macro.getType[Id])
+  println(Macro.getType[task.Title])
+  task.run