scala/scala — pull request #1227 by paulp (2012-09-01 07:16:22+00:00)
Title: Fix for SI-6034, covariant value classes.

My summary in the ticket was incorrect. The problem was that the
class type parameters were being cloned for the method and being
allowed to keep their variance. I threw in an assertion for anyone
attempting to create a method type with variant type parameters,
because hey, why should we allow such madness.