Add test cases for implicit and dependant methods

Rejects all dependant methods used in structural type. They are pretty
broken currently. Should be fixable

Author: allanrenucci

compiler/src/dotty/tools/dotc/typer/Dynamic.scala

@@ -162,11 +162,20 @@ trait Dynamic { self: Typer with Applications =>
         structuralCall(nme.selectDynamic, Nil).asInstance(tpe)
 
       case tpe: MethodType =>
-        if (tpe.isParamDependent)
+        def isDependentMethod(tpe: Type): Boolean = tpe match {
+          case tpe: MethodType =>
+            tpe.isParamDependent ||
+            tpe.isResultDependent ||
+            isDependentMethod(tpe.resultType)
+          case _ =>
+            false
+        }
+
+        if (isDependentMethod(tpe))
           fail(name, i"has a method type with inter-parameter dependencies")
         else {
           val ctags = tpe.paramInfoss.flatten.map(pt =>
-            implicitArgTree(defn.ClassTagType.appliedTo(pt :: Nil), fun.pos.endPos))
+            implicitArgTree(defn.ClassTagType.appliedTo(pt.widenDealias :: Nil), fun.pos.endPos))
           structuralCall(nme.applyDynamic, ctags).asInstance(tpe.finalResultType)
         }
 

tests/neg/structural.scala

@@ -20,4 +20,20 @@ object Test3 {
 
   type G = { def foo(x: Int, y: Int): Unit }
   def j(x: G) = x.foo(???) // error: missing argument
+
+  class H { type S = String; type I }
+  class I extends H { type I = Int }
+  type Dep = {
+    def fun1(x: H, y: x.S): Int
+    def fun2(x: H, y: x.I): Int
+    def fun3(y: H): y.S
+    def fun4(y: H): y.I
+  }
+  def k(x: Dep) = {
+    val y = new I
+    x.fun1(y, "Hello")
+    x.fun2(y, 1) // error
+    x.fun3(y)
+    x.fun4(y) // error
+  }
 }

tests/run/structural.scala

@@ -1,46 +1,107 @@
 import scala.reflect.Selectable.reflectiveSelectable
 
 object Test {
+  class C { type S = String; type I }
+  class D extends C { type I = Int }
+
   type Foo = {
-    def foo(x: Int)(y: Int): Int
-    def bar(x: Int): Int => Int
-    def bat(a1: Int, a2: Int, a3: Int)
-           (a4: Int, a5: Int, a6: Int)
-           (a7: Int, a8: Int, a9: Int): Int
-   def baz(x: Int): Int
+    def fun1(x: Int)(y: Int): Int
+    def fun2(x: Int): Int => Int
+    def fun3(a1: Int, a2: Int, a3: Int)
+            (a4: Int, a5: Int, a6: Int)
+            (a7: Int, a8: Int, a9: Int): Int
+    def fun4(x: Int): Int
+    def fun5(implicit x: Int): Int
+    def fun6(x: Int)(implicit y: Int): Int
+
+    def fun7(x: C, y: x.S): Int
+    def fun8(x: C, y: x.I): Int
+    def fun9(y: C): y.S
+    def fun10(y: C): y.I
   }
 
   class FooI {
-    def foo(x: Int)(y: Int): Int = x + y
-    def bar(x: Int): Int => Int = y => x * y
-    def bat(a1: Int, a2: Int, a3: Int)
-           (a4: Int, a5: Int, a6: Int)
-           (a7: Int, a8: Int, a9: Int): Int = -1
-    def baz(x: Int): Int = x
+    def fun1(x: Int)(y: Int): Int = x + y
+    def fun2(x: Int): Int => Int = y => x * y
+    def fun3(a1: Int, a2: Int, a3: Int)
+            (a4: Int, a5: Int, a6: Int)
+            (a7: Int, a8: Int, a9: Int): Int = -1
+    def fun4(x: Int): Int = x
+    def fun5(implicit x: Int): Int = x
+    def fun6(x: Int)(implicit y: Int): Int = x + y
+
+    def fun7(x: C, y: x.S): Int = 1
+    def fun8(x: C, y: x.I): Int = 2
+    def fun9(y: C): y.S = "Hello"
+    def fun10(y: C): y.I = 1.asInstanceOf[y.I]
+  }
+
+  def currying(x: Foo): Unit = {
+    assert(x.fun1(1)(2) == 3)
+    assert(x.fun2(1)(2) == 2)
+    assert(x.fun3(1, 2, 3)(4, 5, 6)(7, 8, 9) == -1)
+
+    val f1 = x.fun1(1)(_)
+    assert(f1(2) == 3)
+
+    val f2 = x.fun1(1) _
+    assert(f2(2) == 3)
+
+    val f3 = x.fun1(1)
+    assert(f3(2) == 3)
+
+    val f4 = x.fun4
+    assert(f4(1) == 1)
+
+    val f5 = x.fun4 _
+    assert(f5(2) == 2)
   }
 
-  def test(x: Foo): Unit = {
-    assert(x.foo(1)(2) == 3)
-    assert(x.bar(1)(2) == 2)
-    assert(x.bat(1, 2, 3)(4, 5, 6)(7, 8, 9) == -1)
+  def etaExpansion(x: Foo): Unit = {
+    assert(x.fun1(1)(2) == 3)
+    assert(x.fun2(1)(2) == 2)
+    assert(x.fun3(1, 2, 3)(4, 5, 6)(7, 8, 9) == -1)
 
-    val f1 = x.foo(1)(_)
+    val f1 = x.fun1(1)(_)
     assert(f1(2) == 3)
 
-    val f2 = x.foo(1) _
+    val f2 = x.fun1(1) _
     assert(f2(2) == 3)
 
-    val f3 = x.foo(1)
+    val f3 = x.fun1(1)
     assert(f3(2) == 3)
 
-    val f4 = x.baz
+    val f4 = x.fun4
     assert(f4(1) == 1)
 
-    val f5 = x.baz _
+    val f5 = x.fun4 _
     assert(f5(2) == 2)
   }
 
+  def implicits(x: Foo) = {
+    implicit val y = 2
+    assert(x.fun5 == 2)
+    assert(x.fun6(1) == 3)
+  }
+
+  // Limited support for dependant methods
+  def dependant(x: Foo) = {
+    val y = new D
+
+    assert(x.fun7(y, "Hello") == 1)
+    // assert(x.fun8(y, 1) == 2) // error: No ClassTag available for x.I
+
+    val s = x.fun9(y)
+    assert((s: String) == "Hello")
+
+    // val i = x.fun10(y) // error: rejected (blows up in pickler if not rejected)
+    // assert((i: String) == "Hello") // error: Type mismatch: found: y.S(i); required: String
+  }
+
   def main(args: Array[String]): Unit = {
-    test(new FooI)
+    currying(new FooI)
+    etaExpansion(new FooI)
+    implicits(new FooI)
+    dependant(new FooI)
   }
 }