test/files/pos/t789.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
31
32

object main { // don't do this at home

  trait Impl

  trait SizeImpl extends Impl { def size = 42 }

  trait ColorImpl extends Impl { def color = "red" }

  type Both = SizeImpl with ColorImpl

  def info(x:Impl) = x match {
    case x:Both      => "size  "+x.size+" color "+x.color // you wish
    case x:SizeImpl  => "size  "+x.size
    case x:ColorImpl => "color "+x.color
    case _           => "n.a."
  }

  def info2(x:Impl) = x match {
    case x:SizeImpl with ColorImpl  => "size  "+x.size+" color "+x.color // you wish
    case x:SizeImpl  => "size  "+x.size
    case x:ColorImpl => "color "+x.color
    case _           => "n.a."
  }


  def main(args:Array[String]): Unit = {
    // make up some class that has a size
    class MyNode extends SizeImpl
    Console.println("hello " + info(new MyNode))
    Console.println("hello " + info2(new MyNode))
  }
}