scala/scala — pull request #878 by adriaanm (2012-07-11 15:43:00+00:00)
Title: polymorphic value classes

review by @odersky, please, to ensure I didn't mess up the rebase of his original pull request