tests/pos/t1027.scala


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

object T1027 extends App {
  trait Comparable[T <: Comparable[T]] { this: T =>
    def < (that: T): Boolean
    def <=(that: T): Boolean = this < that || this == that
    def > (that: T): Boolean = that < this
    def >=(that: T): Boolean = that <= this
  }
  class A(val x: String) extends Comparable[A]{
    def < (that: A) = this.x < that.x
  }
  val a = new A("a")
  val b = new A("b")
  println(a < b)
  println(a > b)
  println(a <= b)
  println(a >= b)
  println("Comparable traits : " + (new A("x") > new A("y")).toString)
 }