Merge pull request #1286 from Friendseeker/pending-macro-test-case

Add pending test case for #1171

zinc/src/sbt-test/macros/macro-type-change/app/A.scala

@@ -0,0 +1,2 @@
+package app
+class A

zinc/src/sbt-test/macros/macro-type-change/app/App.scala

@@ -0,0 +1,11 @@
+package app
+
+import Macros._
+
+object App {
+  def main(args: Array[String]): Unit = {
+    val expected = args(0).toBoolean
+    val actual = Macros.hasAnyField[A]
+    assert(expected == actual, s"Expected $expected, obtained $actual")
+  }
+}

zinc/src/sbt-test/macros/macro-type-change/app/changes/A.scala

@@ -0,0 +1,4 @@
+package app
+class A {
+  val hello: String = ""
+}

zinc/src/sbt-test/macros/macro-type-change/build.json

@@ -0,0 +1,15 @@
+{
+  "projects": [
+    {
+      "name": "app",
+      "dependsOn": [
+        "macros"
+      ],
+      "scalaVersion": "2.13.12"
+    },
+    {
+      "name": "macros",
+      "scalaVersion": "2.13.12"
+    }
+  ]
+}

zinc/src/sbt-test/macros/macro-type-change/macros/Macros.scala

@@ -0,0 +1,20 @@
+package Macros
+
+import scala.language.experimental.macros
+
+import scala.reflect.macros.blackbox.Context
+
+object Macros {
+  def hasAnyField[T]: Boolean = macro hasAnyFieldImpl[T]
+
+  def hasAnyFieldImpl[T: c.WeakTypeTag](c: Context): c.Expr[Boolean] = {
+    import c.universe._
+
+    val hasField = weakTypeOf[T].members.exists {
+      case m: TermSymbol => m.isVal || m.isVar
+      case _ => false
+    }
+
+    c.Expr[Boolean](Literal(Constant(hasField)))
+  }
+}

zinc/src/sbt-test/macros/macro-type-change/pending

@@ -0,0 +1,3 @@
+> app/run false
+$ copy-file app/changes/A.scala app/A.scala
+> app/run true