From 5e2990c0ba97b6d6f0b4c8d4cc33a0a50e112a15 Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Mon, 21 Jan 2019 08:03:19 +0100
Subject: [PATCH] Fix #4184: Add regression test

---
 compiler/test-resources/repl/i4184 | 10 ++++++++++
 tests/pos/i4184.scala              |  3 +++
 2 files changed, 13 insertions(+)
 create mode 100644 compiler/test-resources/repl/i4184
 create mode 100644 tests/pos/i4184.scala

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)
+}