Better type inference for Scala: send us your problematic cases!

A post was split to a new topic: Type inference for the types of params of defs