add tests from sbt/zinc#1316

Author: bishabosha

sbt-test/macros/macro-type-change-2/A/A.scala

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

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

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

sbt-test/macros/macro-type-change-2/build.sbt

@@ -0,0 +1,27 @@
+// {
+//   "projects": [
+//     {
+//       "name": "app",
+//       "dependsOn": [
+//         "macros",
+//         "A"
+//       ],
+//       "scalaVersion": "2.13.12"
+//     },
+//     {
+//       "name": "macros",
+//       "scalaVersion": "2.13.12"
+//     },
+//     {
+//       "name": "A",
+//       "scalaVersion": "2.13.12"
+//     }
+//   ]
+// }
+
+lazy val app = project.in(file("app"))
+  .dependsOn(macros, A)
+
+lazy val macros = project.in(file("macros"))
+
+lazy val A = project.in(file("A"))

sbt-test/macros/macro-type-change-2/changes/A1.scala

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

sbt-test/macros/macro-type-change-2/macros/Macros.scala

@@ -0,0 +1,15 @@
+package Macros
+
+import scala.quoted.*
+
+object Macros {
+  inline def hasAnyField[T]: Boolean = ${ hasAnyFieldImpl[T] }
+
+  def hasAnyFieldImpl[T: Type](using Quotes): Expr[Boolean] = {
+    import quotes.reflect.*
+
+    val hasField = TypeRepr.of[T].typeSymbol.declaredFields.nonEmpty
+
+    Expr(hasField)
+  }
+}

sbt-test/macros/macro-type-change-2/project/DottyInjectedPlugin.scala

@@ -0,0 +1,11 @@
+import sbt._
+import Keys._
+
+object DottyInjectedPlugin extends AutoPlugin {
+  override def requires = plugins.JvmPlugin
+  override def trigger = allRequirements
+
+  override val projectSettings = Seq(
+    scalaVersion := sys.props("plugin.scalaVersion")
+  )
+}

sbt-test/macros/macro-type-change-2/test

@@ -0,0 +1,4 @@
+# adapted from https://github.com/sbt/zinc/blob/1e422e5525c698aa71cc35b30c275c8c1c3135b2/zinc/src/sbt-test/macros/macro-type-change-2/test
+> app/run false
+$ copy-file changes/A1.scala A/A.scala
+> app/run true

sbt-test/macros/macro-type-change-3/A/A.scala

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

sbt-test/macros/macro-type-change-3/A/B.scala

@@ -0,0 +1,2 @@
+package A
+class B extends A

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

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