4 files changed, 39 insertions, 0 deletions
diff --git a/test/pending/run/bug4291.check b/test/pending/run/bug4291.check
new file mode 100644
index 0000000000..c2b58db6e6
--- /dev/null
+++ b/test/pending/run/bug4291.check
@@ -0,0 +1,4 @@
+scala.collection.immutable.List A
+scala.Option A
+scala.Function1 R
+scala.collection.Traversable That
diff --git a/test/pending/run/bug4291.scala b/test/pending/run/bug4291.scala
new file mode 100644
index 0000000000..6053c7ac6a
--- /dev/null
+++ b/test/pending/run/bug4291.scala
@@ -0,0 +1,10 @@
+import scala.tools.partest._
+
+object Test extends SigTest {
+  def main(args: Array[String]): Unit = {
+    show[List[_]]("apply")
+    show[Option[_]]("get")
+    show[Function1[_, _]]("apply")
+    show[Traversable[_]]("flatMap")
+  }
+}
diff --git a/test/pending/run/sigtp.check b/test/pending/run/sigtp.check
new file mode 100644
index 0000000000..6b961be3d0
--- /dev/null
+++ b/test/pending/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/pending/run/sigtp.scala b/test/pending/run/sigtp.scala
new file mode 100644
index 0000000000..f0cac859f5
--- /dev/null
+++ b/test/pending/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[_, _]])
+  }
+}