test elided trees with method and static final field results

Author: bishabosha

sbt-test/pipelining/Yjava-tasty-result-types/a/src/main/scala/a/A.java

@@ -0,0 +1,9 @@
+package a;
+
+public class A {
+	public static final String VALUE = "A";
+
+	public <T> String add(T t) {
+		return VALUE + t.toString();
+	}
+}

sbt-test/pipelining/Yjava-tasty-result-types/a/src/main/scala/a/package.scala

@@ -0,0 +1,2 @@
+// THIS FILE EXISTS SO THAT `A.java` WILL BE COMPILED BY SCALAC
+package a

sbt-test/pipelining/Yjava-tasty-result-types/b/src/main/scala/b/B.scala

@@ -0,0 +1,17 @@
+package b
+
+import a.A
+
+object B {
+  val finalResult: "A" = A.VALUE
+
+  val a_B: String = (new A()).add("B")
+  val a_true: String = (new A()).add(true)
+
+  @main def test = {
+    assert(finalResult == "A")
+    assert(a_B == "AB")
+    assert(a_true == "Atrue")
+  }
+}
+

sbt-test/pipelining/Yjava-tasty-result-types/build.sbt

@@ -0,0 +1,13 @@
+lazy val a = project.in(file("a"))
+  .settings(
+    scalacOptions += "-Yjava-tasty", // enable pickling of java signatures
+    scalacOptions ++= Seq("-Yjava-tasty-output", ((ThisBuild / baseDirectory).value / "a-result-types-java-tasty.jar").toString),
+    scalacOptions += "-Ycheck:all",
+    classDirectory := ((ThisBuild / baseDirectory).value / "a-result-types-classes"), // send classfiles to a different directory
+  )
+
+lazy val b = project.in(file("b"))
+  .settings(
+    Compile / unmanagedClasspath := Seq(Attributed.blank((ThisBuild / baseDirectory).value / "a-result-types-java-tasty.jar")),
+    scalacOptions += "-Ycheck:all",
+  )

sbt-test/pipelining/Yjava-tasty-result-types/project/DottyInjectedPlugin.scala

@@ -0,0 +1,12 @@
+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"),
+    scalacOptions += "-source:3.0-migration"
+  )
+}

sbt-test/pipelining/Yjava-tasty-result-types/test

@@ -0,0 +1,3 @@
+> a/compile
+# Test depending on a java static final result, and method result through TASTy
+> b/compile