test/files/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) =  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
}