Re: Re: Scala Type Inference Challenge (or Giving up on recursive types)

To my untrained eyes, this appears completely redundant. 

good point -- I'll think about whether we can automate this, but for now this is a (somewhat) known limitation of the type inference algorithm
whenever you have a type parameter that occurs in its own bound, expect to run into trouble with type inference for that parameter
cheersadriaan

ps: tracked as SI-4745