Merge pull request #2637 from retronym/ticket/7439

SI-7439 Avoid NPE in `isMonomorphicType` with stub symbols. …

4 files changed, 40 insertions, 0 deletions

diff --git a/test/files/run/t7439.check b/test/files/run/t7439.check
new file mode 100644
index 0000000000..9ea09f9c40
--- /dev/null
+++ b/test/files/run/t7439.check
@@ -0,0 +1,2 @@
+Recompiling after deleting t7439-run.obj/A_1.class
+pos: NoPosition Class A_1 not found - continuing with a stub. WARNING
diff --git a/test/files/run/t7439/A_1.java b/test/files/run/t7439/A_1.java
new file mode 100644
index 0000000000..4accd95d57
--- /dev/null
+++ b/test/files/run/t7439/A_1.java
@@ -0,0 +1,3 @@
+public class A_1 {
+
+}
\ No newline at end of file
diff --git a/test/files/run/t7439/B_1.java b/test/files/run/t7439/B_1.java
new file mode 100644
index 0000000000..5dd3b93d6f
--- /dev/null
+++ b/test/files/run/t7439/B_1.java
@@ -0,0 +1,3 @@
+public class B_1 {
+	public void b(A_1[] a) {}
+}
diff --git a/test/files/run/t7439/Test_2.scala b/test/files/run/t7439/Test_2.scala
new file mode 100644
index 0000000000..3ebbcfe753
--- /dev/null
+++ b/test/files/run/t7439/Test_2.scala
@@ -0,0 +1,32 @@
+import scala.tools.partest._
+import java.io.File
+
+object Test extends StoreReporterDirectTest {
+  def code = ???
+
+  def compileCode(code: String) = {
+    val classpath = List(sys.props("partest.lib"), testOutput.path) mkString sys.props("path.separator")
+    compileString(newCompiler("-cp", classpath, "-d", testOutput.path))(code)
+  }
+
+  def C = """
+    class C {
+      new B_1
+    }
+  """
+
+  def show(): Unit = {
+    //compileCode(C)
+    assert(filteredInfos.isEmpty, filteredInfos)
+
+    // blow away the entire package
+    val a1Class = new File(testOutput.path, "A_1.class")
+    assert(a1Class.exists)
+    assert(a1Class.delete())
+    println(s"Recompiling after deleting $a1Class")
+
+    // bad symbolic reference error expected (but no stack trace!)
+    compileCode(C)
+    println(storeReporter.infos.mkString("\n")) // Included a NullPointerException before.
+  }
+}