scala/scala — pull request #3605 by gkossakowski (2014-03-07 01:51:57+00:00)
Title: SI-8372: unspliceable type printed in error message

The b8a76f6 introduced `ArrayOps.{unzip, unzip3}` methods. Both of those methods have ClassTags as context bounds on their type parameters so they can create (and return) instances of Arrays.
The type inference for those methods is supposed to be guided by implicit evidence that `T <: (T1, T2)` (or `T <: (T1, T2, T3)` in unzip3 case). However, context bounds are desugared into implicit parameters that
prepended in front of implicit parameters declared in source code. That means the implicit evidence won't have a chance to guide type inference because it comes as last implicit parameter.

This commit desugars context bounds and puts them at the end of implicit parameter list. This way type inference is guided properly and we get expected compiler errors for missing class tags.