Fix and test case for #1107, many long days in ...

Fix and test case for #1107, many long days in the making. If you fully
understand why this change causes #1107 to work I implore you to add a
comment or two to Symbols.scala.

2 files changed, 20 insertions, 0 deletions

diff --git a/test/files/pos/t1107/O.scala b/test/files/pos/t1107/O.scala
new file mode 100644
index 0000000000..ffc2f767a8
--- /dev/null
+++ b/test/files/pos/t1107/O.scala
@@ -0,0 +1,13 @@
+object O
+{
+  def d(t: Top) = t match {
+    case s: Sub => true
+    case _ => false
+  }
+
+  def main(args: Array[String]): Unit = {
+    val c = new AnyRef with C
+
+    c.bob.toString + c.bob2.toString
+  }
+}
\ No newline at end of file
diff --git a/test/files/pos/t1107/T.scala b/test/files/pos/t1107/T.scala
new file mode 100644
index 0000000000..583ee11c0a
--- /dev/null
+++ b/test/files/pos/t1107/T.scala
@@ -0,0 +1,7 @@
+sealed trait Top
+sealed trait Sub extends Top
+trait C {
+  private object P extends Sub
+  def bob() = P.getClass
+  def bob2() = O.d(P)
+}
\ No newline at end of file