diff --git a/tests/neg/module-class-name.check b/tests/neg/module-class-name.check
new file mode 100644
index 000000000000..a0a8dee0dc68
--- /dev/null
+++ b/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
diff --git a/tests/neg/module-class-name.scala b/tests/neg/module-class-name.scala
new file mode 100644
index 000000000000..e4bf6c0f4e98
--- /dev/null
+++ b/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
+}