"I invite everyone to change this rule, and obs...

"I invite everyone to change this rule, and observe what breaks!"

This much beloved comment from #1208 has been on my radar for two years.
The worm has turned. Closes #1208. The inferred type of an object is now
Foo.type instead of "object Foo". What once was this:

  scala> val x: Map[Int, Singleton] = Map(1 -> None)
  <console>:5: error: type mismatch;
   found   : (Int, object None)
   required: (Int, Singleton)

Now exudes a pleasing aura of workingness:

  scala> val x: Map[Int, Singleton] = Map(1 -> None)
  x: Map[Int,Singleton] = Map(1 -> None)

No review.

1 files changed, 1 insertions, 1 deletions

diff --git a/test/files/neg/t0226.check b/test/files/neg/t0226.check
index af81e41a6a..247f1f2443 100644
--- a/test/files/neg/t0226.check
+++ b/test/files/neg/t0226.check
@@ -4,7 +4,7 @@ t0226.scala:5: error: not found: type A1
 t0226.scala:5: error: not found: type A1
       (implicit _1: Foo[List[A1]], _2: Foo[A2]): Foo[Tuple2[List[A1], A2]] =
                              ^
-t0226.scala:8: error: could not find implicit value for parameter rep: Test.this.Foo[((List[Char], Int), (object Nil, Int))]
+t0226.scala:8: error: could not find implicit value for parameter rep: Test.this.Foo[((List[Char], Int), (scala.collection.immutable.Nil.type, Int))]
   foo(((List('b'), 3), (Nil, 4)))
      ^
 three errors found