Imported From: https://issues.scala-lang.org/browse/SI-5592?orig=1
Reporter: @Blaisorblade
Affected Versions: 2.9.1

@Blaisorblade said:
Reassigning to Scala Reviewer, since my assignment apparently was not so helpful.

@hubertp said:
We use components/labels to carry meta information now.

@Blaisorblade said:
I disagree. This is a bug waiting for confirmation, not just a way to group other bugs (that was only an additional point).
I propose a conjecture, but it is not clear at all if this conjecture is intended to hold. Or rather, it seemed obvious to me until I tried locating this in the specification, and failed miserably.

If it is intended to hold, shouldn't it be added to the specification, maybe with a warning?

@hubertp said:
In that case this is invalid as well. This would rely on having a complete specification for the type inference which is not going to happen in the near future, otherwise it wouldn't make sense, right?
Also, specification aside "bugs in type-inference" are not necessarily bugs but often limitations of the current local type inference.

stale. probably better as a discussion on https://contributors.scala-lang.org anyway, if someone is still interested