tests/untried/pos/typealias_dubious.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

class MailBox {
  //class Message
  type Message = AnyRef
}

abstract class Actor {
  private val in = new MailBox

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

  def unstable: Actor = sys.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
}