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.

4 files changed, 26 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")
+  }
+}
diff --git a/test/pending/pos/t1053.scala b/test/pending/pos/t1053.scala
new file mode 100755
index 0000000000..1d4dfb637e
--- /dev/null
+++ b/test/pending/pos/t1053.scala
@@ -0,0 +1,6 @@
+trait T[A] { trait U { type W = A; val x = 3 } }
+
+object Test {
+  val x : ({ type V = T[this.type] })#V = null
+  val y = new x.U { }
+}
diff --git a/test/pending/pos/t1131.scala b/test/pending/pos/t1131.scala
new file mode 100755
index 0000000000..5ef980348d
--- /dev/null
+++ b/test/pending/pos/t1131.scala
@@ -0,0 +1,4 @@
+trait A { self: Any { def p: Any } =>
+  def f(b: => Unit) {}
+  f { p }
+}
diff --git a/test/pending/run/t1044.scala b/test/pending/run/t1044.scala
new file mode 100644
index 0000000000..136cc51af2
--- /dev/null
+++ b/test/pending/run/t1044.scala
@@ -0,0 +1,4 @@
+object Main extends Application{
+ val ducks = Array[AnyRef]("Huey", "Dewey", "Louie")
+ ducks.elements/*.asInstanceOf[Iterator[String]]*/
+}