diff --git a/compiler/test-resources/repl/i4184 b/compiler/test-resources/repl/i4184
new file mode 100644
index 000000000000..f177cc5d9da2
--- /dev/null
+++ b/compiler/test-resources/repl/i4184
@@ -0,0 +1,10 @@
+scala> object foo { class Foo }
+// defined object foo
+scala> object bar { class Foo }
+// defined object bar
+scala> implicit def eqFoo: Eq[foo.Foo, foo.Foo] = Eq
+def eqFoo: Eq[foo.Foo, foo.Foo]
+scala> object Bar { new foo.Foo == new bar.Foo }
+1 | object Bar { new foo.Foo == new bar.Foo }
+  |              ^^^^^^^^^^^^^^^^^^^^^^^^^^
+  |      Values of types foo.Foo and bar.Foo cannot be compared with == or !=
diff --git a/tests/pos/i4184.scala b/tests/pos/i4184.scala
new file mode 100644
index 000000000000..cd51d3f48602
--- /dev/null
+++ b/tests/pos/i4184.scala
@@ -0,0 +1,3 @@
+object Bar {
+  true == (true: java.lang.Boolean)
+}