a0476f0882 ^
1 2 3 4 5 6
package test; trait SortedSet[A <% Ordered[A]] { def first : A; def last : A; assert(first.compare(last) < 0); }