Adding two Set[Any]

Question

Adding two Set[Int] works:

Welcome to Scala version 2.8.1.final (Java HotSpot(TM) Server VM, Java 1.6.0_23).
Type in expressions to have them evaluated.
Type :help for more information.

scala> Set(1,2,3) ++ Set(4,5,6)          
res0: scala.collection.immutable.Set[Int] = Set(4, 5, 6, 1, 2, 3)

But adding two Set[Any] doesn't:

scala> Set[Any](1,2,3) ++ Set[Any](4,5,6)
<console>:6: error: ambiguous reference to overloaded definition,
both method ++ in trait Addable of type (xs: scala.collection.TraversableOnce[Any])scala.collection.immutable.Set[Any]
and  method ++ in trait TraversableLike of type [B >: Any,That](that: scala.collection.TraversableOnce[B])(implicit bf: scala.collection.generic.CanBuildFrom[scala.collection.immutable.Set[Any],B,That])That
match argument types (scala.collection.immutable.Set[Any])
   Set[Any](1,2,3) ++ Set[Any](4,5,6)
           ^

Any suggestion to work around this error?

Answer 1

Looks like using the alias union works,

scala> Set[Any](1,2,3) union Set[Any](4,5,6)
res0: scala.collection.immutable.Set[Any] = Set(4, 5, 6, 1, 2, 3)

I'm still curious if there's a way to use ++ instead.

Answer 2

This works:

Set[Any](1, 2, 3).++[Any, Set[Any]](Set[Any](4, 5, 6))

But is ugly as sin. The compiler is confused as to whether to use the method on Addable or the one on TraversableLike, which has an implicit parameter. They don't have the same sig, but syntactic sugar makes it appears as if they do. Tell it which one to use and the compiler's happy.

I imagine the reason it works for Ints is that they don't have any subtypes.

This will call the method on Addable, if that's important to you:

Set[Any](1, 2, 3).asInstanceOf[collection.generic.Addable[Any, Set[Any]]] ++ Set[Any](4, 5, 6)