Looks like that yeah, though I'm not an expert here.

On Sun, May 12, 2013 at 11:07 PM, Paul Phillips <notifications@github.com>
wrote:

>> @@ -4888,19 +4892,39 @@ trait Typers extends Adaptations with Tags {
>>                }
>>              val argtypes = args1 map (_.tpe)
>>  
>> -            foreach2(args, tparams)((arg, tparam) => arg match {
>> -              // note: can't use args1 in selector, because Bind's got replaced
>> -              case Bind(_, _) =>
>> -                if (arg.symbol.isAbstractType)
>> -                  arg.symbol setInfo // XXX, feedback. don't trackSymInfo here!
>> -                    TypeBounds(
>> -                      lub(List(arg.symbol.info.bounds.lo, tparam.info.bounds.lo.subst(tparams, argtypes))),
>> -                      glb(List(arg.symbol.info.bounds.hi, tparam.info.bounds.hi.subst(tparams, argtypes))))
>> -              case _ =>
>> -            })
>> +            foreach2(args, tparams) { (arg, tparam) =>
>> +              // note: can't use args1 in selector, because Binds got replaced
> Yes, because I read it as "the Bind nodes were replaced", but now I guess it means "the Bind's symbol was replaced", yes?
> ---
> Reply to this email directly or view it on GitHub:
> https://github.com/scala/scala/pull/2518/files#r4186481