@specializedplay together? I wrote a small library for specialized collections and used macro trickery to escape most specialization problems ( https://github.com/denisrosset/metal -- warning the macro use is quite gross).
metalwas to have nonspecialized traits, but specialized methods... so you call
(set: MySet[A]).contains[A](a), where the first type parameter is nonspecialized (
MySet[A]), but the magic happens in the
def contains[@specialized B](b: B). The macro system is there to put the right type parameters.
Map[@sp A, @sp B]fails to specialize for e.g.