Merge pull request #6487 from dotty-staging/change-explaining-printer

Add test for errors involving module classes

Author: anatoliykmetyuk

tests/neg/module-class-name.check

@@ -0,0 +1,14 @@
+[287..289..292] in module-class-name.scala
+value foo is not a member of object Test.C
+[247..248] in module-class-name.scala
+Found:    object Test.C
+Required: Int
+[192..193] in module-class-name.scala
+Found:    object Test.C
+Required: Test.C
+[127..128] in module-class-name.scala
+Found:    Test.C.type
+Required: Test.C
+[74..75] in module-class-name.scala
+Found:    Test.C.type
+Required: Test.C

tests/neg/module-class-name.scala

@@ -0,0 +1,16 @@
+object Test {
+  class C
+  object C
+
+  def f[T](x: T): T = x
+
+  val x: C = C    // error: Found:    Test.C.type
+
+  val y: C = f(C) // error: Found:    Test.C.type
+
+  def z = f(C)
+  val z1: C = z    // error: Found:    object Test.C
+  val z2: Int = z  // error: Found:    object Test.C
+
+  C.foo  // error: value foo is not a member of object Test.C
+}