Merge pull request #9243 from dotty-staging/fix-#9240

Fix #9240: Add regression test

Author: nicolasstucki

tests/pos-macros/i9240/Macro_1.scala

@@ -0,0 +1,24 @@
+import scala.quoted._
+import scala.tasty._
+
+inline def diveInto[T]: String = ${ diveIntoImpl[T]() }
+
+def diveIntoImpl[T]()(implicit qctx: QuoteContext, ttype: scala.quoted.Type[T]): Expr[String] =
+  import qctx.tasty._
+  Expr( unwindType(qctx.tasty)(typeOf[T]) )
+
+def unwindType(reflect: Reflection)(aType: reflect.Type): String =
+  import reflect._
+
+  aType match {
+    case AppliedType(t,tob) =>
+      val cs = t.classSymbol.get.primaryConstructor  // this is shared
+      val a = cs.paramSymss  // this call succeeds
+      // println("a: "+a)
+      val b = cs.paramSymss // this call explodes
+      // println("b: "+b)
+
+    case _ =>
+  }
+  "OK!"
+

tests/pos-macros/i9240/Test_2.scala

@@ -0,0 +1,4 @@
+def test =
+  diveInto[String]
+  diveInto[List[Int]]
+  diveInto[scala.collection.immutable.HashSet[String]]