From 3d96a4aa3230a5e1558378b409e84a65f85ac107 Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Mon, 2 Mar 2009 15:51:07 +0000 Subject: 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. --- test/files/pos/t1107/O.scala | 13 +++++++++++++ test/files/pos/t1107/T.scala | 7 +++++++ 2 files changed, 20 insertions(+) create mode 100644 test/files/pos/t1107/O.scala create mode 100644 test/files/pos/t1107/T.scala (limited to 'test/files/pos/t1107') 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 -- cgit v1.2.3