diff --git a/tests/run/i1463.scala b/tests/run/i1463.scala
new file mode 100644
index 000000000000..646e4412d4f7
--- /dev/null
+++ b/tests/run/i1463.scala
@@ -0,0 +1,26 @@
+object Test {
+  case object Bob { override def equals(other: Any) = true }
+
+  class Bob2 {
+    override def equals(other: Any) = true
+  }
+  val Bob2 = new Bob2
+
+  def f0(x: Any) = x match { case Bob2 => Bob2 }
+  def f1(x: Any) = x match { case Bob => Bob }
+  // def f2(x: Any): Bob.type = x match { case x @ Bob => x } // should not type check
+
+  def main(args: Array[String]): Unit = {
+    assert(f0(Bob2) eq Bob2)
+    assert(f0(0) eq Bob2)
+    assert(f0(Nil) eq Bob2)
+
+    assert(f1(Bob) eq Bob)
+    assert(f1(0) eq Bob)
+    assert(f1(Nil) eq Bob)
+
+    // assert(f2(Bob) eq Bob)
+    // assert(f2(0) eq Bob)
+    // assert(f2(Nil) eq Bob)
+  }
+}