test/files/neg/t414.scala


1
2
3
4
5
6
7
8
9
10

case class Empty[a]() extends IntMap[a];
case class Node[a](left: IntMap[a], keyVal: Tuple2[Int, a], right: IntMap[a]) extends IntMap[a];
abstract class IntMap[a] {
        def lookup(key: Int): a = this match {
                case Empty =>
                        sys.error("clef inexistante")
                case _ =>
        };

};