test/files/pos/bug3097.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

package seal

sealed trait ISimpleValue

sealed trait IListValue extends ISimpleValue {
  def items: List[IAtomicValue[_]]
}
sealed trait IAtomicValue[O] extends ISimpleValue {
  def data: O
}

sealed trait IAbstractDoubleValue[O] extends IAtomicValue[O] { }
sealed trait IDoubleValue extends IAbstractDoubleValue[Double]

case class ListValue(val items: List[IAtomicValue[_]]) extends IListValue
class DoubleValue(val data: Double) extends IDoubleValue {
  def asDouble = data
}

object Test {
  /**
   * @param args the command line arguments
   */
  def main(args: Array[String]): Unit = {
    val v: ISimpleValue = new DoubleValue(1)
    v match {
      case m: IListValue => println("list")
      case a: IAtomicValue[_] => println("atomic")
    }
  }
}