Seem to have made a breakthrough with signature...

Seem to have made a breakthrough with signature correctness. Most of
the remaining troubles were due to inherited members and their foreign
identifiers, but I think I found a simple way to make everyone happy.
Closes #4238, review by moors.

3 files changed, 29 insertions, 0 deletions

diff --git a/test/files/run/bug4238/J.java b/test/files/run/bug4238/J.java
new file mode 100644
index 0000000000..948989b4e7
--- /dev/null
+++ b/test/files/run/bug4238/J.java
@@ -0,0 +1,4 @@
+class J {
+	scala.collection.mutable.HashMap<String, String> x =
+		new scala.collection.mutable.HashMap<String, String>();
+}
diff --git a/test/files/run/sigtp.check b/test/files/run/sigtp.check
new file mode 100644
index 0000000000..6b961be3d0
--- /dev/null
+++ b/test/files/run/sigtp.check
@@ -0,0 +1,7 @@
+public A Bug.key()
+public Bug<A, B> Bug.foo()
+public Bug<A, B> Bug.next()
+public void Bug.next_$eq(Bug<A, B>)
+public abstract A BugBase.key()
+public abstract E BugBase.next()
+public abstract void BugBase.next_$eq(E)
diff --git a/test/files/run/sigtp.scala b/test/files/run/sigtp.scala
new file mode 100644
index 0000000000..f0cac859f5
--- /dev/null
+++ b/test/files/run/sigtp.scala
@@ -0,0 +1,18 @@
+trait BugBase [A, E] {
+  val key: A
+  var next: E = _
+}
+
+final class Bug[A, B](val key: A) extends BugBase[A, Bug[A, B]] {
+  def foo = next
+}
+
+object Test {
+  def f(clazz: Class[_]) =
+    clazz.getDeclaredMethods.toList.map(_.toGenericString).sorted foreach println
+
+  def main(args: Array[String]): Unit = {
+    f(classOf[Bug[_, _]])
+    f(classOf[BugBase[_, _]])
+  }
+}