Add test cases for dependent types

Author: zeptometer

tests/run-macros/i17105.check

@@ -3,3 +3,6 @@ case no-param-method (will be eta-expanded): [1st case] placeholder 2
 case curried: [2nd case] arg1, arg2 outside
 case methods from outer scope: [1st case] arg1 outer-method
 case refinement: Hoe got 1
+case dependent: 1
+case dependent2: 1
+case dependent3: 1

tests/run-macros/i17105/Lib1.scala

@@ -0,0 +1,15 @@
+
+// Test case for dependent types
+trait DSL {
+    type N
+    def toString(n: N): String
+    val zero: N
+    def next(n: N): N
+}
+
+object IntDSL extends DSL {
+    type N = Int
+    def toString(n: N): String = n.toString()
+    val zero = 0
+    def next(n: N): N = n + 1
+}