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.

1 files changed, 18 insertions, 0 deletions

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[_, _]])
+  }
+}