blob: 0be4eb70a7795f4b2b4991da13cb465ee81e130c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
import scala.language.higherKinds
trait Base[A] { type B = A; }
class C extends Base[String] {
class D {
def foo[B1 <: B](b: B1) = 0
}
}
trait BaseHK[M[_], A] { type B = M[A]; }
object BaseHK { type Id[X] = X }
class CHK extends BaseHK[BaseHK.Id, String] {
class D {
def foo[B1 <: B](b: B1) = 0
}
}
object Test extends App {
val c = new C
val d = new c.D()
val meth = d.getClass.getMethods.find(_.getName == "foo").get
println(meth)
val chk = new CHK
val dhk = new chk.D()
val methhk = d.getClass.getMethods.find(_.getName == "foo").get
println(methhk)
}
|