Harmonize PolyType and TypeLambda

Let them inherit the same traits and push as much
functionality as possibly into the common superclass
GenericType.

1 files changed, 13 insertions, 0 deletions

diff --git a/tests/pos/sams.scala b/tests/pos/sams.scala
index b7ef7dd2d..20338b95c 100644
--- a/tests/pos/sams.scala
+++ b/tests/pos/sams.scala
@@ -73,3 +73,16 @@ class T {
   def app[T, U](x: T)(f: F[T, U]): U = f(x)
   app(1)(x => List(x))
 }
+
+object SI9943 {
+
+class Foo[T] {
+  def toMap[K, V](implicit ev: Foo[T] <:< Foo[(K, V)]): Foo[Map[K, V]] = null
+  def toMap[K](keySelector: T => K): Foo[Map[K, T]] = null
+}
+
+object Foo {
+  val f: Foo[Int] = null
+  val m = f.toMap(_ % 2)
+}
+}