More signature fixes and tests and generally be...

More signature fixes and tests and generally being more sophisticated
about our primitive squashing. These signatures belong in world-class
museums but we are their shepherds for now. Closes #4317, no review.

1 files changed, 9 insertions, 0 deletions

diff --git a/test/files/run/bug4317/S_1.scala b/test/files/run/bug4317/S_1.scala
new file mode 100644
index 0000000000..2de408268c
--- /dev/null
+++ b/test/files/run/bug4317/S_1.scala
@@ -0,0 +1,9 @@
+object S_1 {
+  def foo1(x: Class[_ <: AnyRef]) = 0
+  def foo2(x: Class[_ <: AnyRef], y: Int) = 99
+  def foo3[T](x: Int, y: Int) = x + y
+  def foo4a(x: Unit): Unit = ()
+  def foo4[T](x: Unit): Unit = ()
+  def foo5[T <: Unit](x: T): T = sys.error("")
+  def foo6[T](x: Class[_], y: Class[T], z: Class[_ <: T]) = ((x, y, z))
+}