@specialize and <

So I've got

def foo1[T](a:T,b:T) = a < b

But T doesn't provide < , so:

def foo2[T <: Ordered[T]](a:T,b:T) = a < b

but I can't call foo2(3,4) because Int doesn't provide Ordered[Int], so

def foo3[T <% Ordered[T]](a:T,b:T) = a < b

It finally compiles! But I want a @specialized version for Int, so

def foo4[@specialized("Int") T <% Ordered[T]](a:T,b:T) = a < b

but it still boxes the Int, does a cast check, and then calls Ordered.less:

public boolean foo4$mIc$sp(int, int, scala.Function1);
Code:
0: aload_3
1: iload_1
2: invokestatic #27; //Method
scala/runtime/BoxesRunTime.boxToInteger:(I)Ljava/lang/Integer;
5: invokeinterface #33, 2; //InterfaceMethod
scala/Function1.apply:(Ljava/lang/Object;)Ljava/lang/Object;
10: checkcast #35; //class scala/math/Ordered
13: iload_2
14: invokestatic #27; //Method
scala/runtime/BoxesRunTime.boxToInteger:(I)Ljava/lang/Integer;
17: invokeinterface #39, 2; //InterfaceMethod
scala/math/Ordered.$less:(Ljava/lang/Object;)Z
22: ireturn

Any suggestions?

Thanks,
Arya