test/files/run/t7120b.scala


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)
}