Partial fix for SI-7046

2 files changed, 23 insertions, 0 deletions

diff --git a/test/files/pos/t7046-2/Macros_1.scala b/test/files/pos/t7046-2/Macros_1.scala
new file mode 100644
index 0000000000..07c0c61281
--- /dev/null
+++ b/test/files/pos/t7046-2/Macros_1.scala
@@ -0,0 +1,14 @@
+package p1
+
+import scala.reflect.macros.blackbox._
+import language.experimental._
+
+object Macro {
+  def impl(c: Context): c.Tree = {
+    import c.universe._
+    val tsym = rootMirror.staticClass("p1.Base")
+    val subclasses = tsym.knownDirectSubclasses.toList.map(_.name.toString)
+    q"$subclasses"
+  }
+  def p1_Base_knownDirectSubclasses: List[String] = macro impl
+}
diff --git a/test/files/pos/t7046-2/Test_2.scala b/test/files/pos/t7046-2/Test_2.scala
new file mode 100644
index 0000000000..74e30a863d
--- /dev/null
+++ b/test/files/pos/t7046-2/Test_2.scala
@@ -0,0 +1,9 @@
+package p1
+
+sealed trait Base
+
+object Test {
+  val x = Macro.p1_Base_knownDirectSubclasses
+}
+
+case class B(val b: Test.x.type)