Explaining something for the (largeish N)th tim...

Explaining something for the (largeish N)th time finally awoke me to
the fact that software can explain things. I labored a long time over
this error message: I'm sure it can still use work (and/or it will drive
scalaz users off some kind of cliff) but the simple common case people
have so much trouble with is lit up like a christmas tree and for this I
will take some bullets.

  build/pack/bin/scala -e 'class Foo[T] ; Set[Foo[AnyRef]]() + new
  Foo[String]' :1: error: type mismatch; found : this.Foo[String]
  required: this.Foo[java.lang.Object] Note: String <: java.lang.Object,
  but class Foo is invariant in type T. You may wish to define T as +T
  instead. (SLS 4.5) class Foo[T] ; Set[Foo[AnyRef]]() + new Foo[String]
  ^

Review by moors.

1 files changed, 2 insertions, 0 deletions

diff --git a/test/files/buildmanager/t2653/t2653.check b/test/files/buildmanager/t2653/t2653.check
index 0d40601962..6a4fc0e982 100644
--- a/test/files/buildmanager/t2653/t2653.check
+++ b/test/files/buildmanager/t2653/t2653.check
@@ -9,5 +9,7 @@ compiling Set(B.scala)
 B.scala:2: error: type mismatch;
  found   : A[Int]
  required: A[Any]
+Note: Int <: Any, but class A is invariant in type T.
+You may wish to define T as +T instead. (SLS 4.5)
   val a: A[Any] = new A[Int]
                   ^