corrected several problems with error reporting...

corrected several problems with error reporting: positions checked
twice, warnings masking errors. Refined solution of forward implicits
without5 result type.

1 files changed, 12 insertions, 0 deletions

diff --git a/test/pending/pos/t0816.scala b/test/pending/pos/t0816.scala
new file mode 100644
index 0000000000..44282ea872
--- /dev/null
+++ b/test/pending/pos/t0816.scala
@@ -0,0 +1,12 @@
+abstract class Atest(val data: String)
+
+case class Btest(override val data: String, val b: boolean) extends Atest(data)
+
+case class Ctest(override val data: String) extends Btest(data, true)
+
+class testCaseClass {
+  def test(x: Atest) = x match {
+    case Ctest(data) => Console.println("C")
+    case Btest(data, b) => Console.println("B")
+  }
+}