typealias_dubious.scala

来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 15 行

class MailBox {
  //class Message 
  type Message = AnyRef
}   
   
abstract class Actor {
  private val in = new MailBox

  def send(msg: in.Message) =  error("foo")

  def unstable: Actor = error("foo")

  def dubiousSend(msg: MailBox#Message) = 
    unstable.send(msg) // in.Message becomes unstable.Message, but that's ok since Message is a concrete type member
}