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, 28 insertions, 0 deletions

diff --git a/test/files/neg/t1049.check b/test/files/neg/t1049.check
new file mode 100755
index 0000000000..4a63cb175d
--- /dev/null
+++ b/test/files/neg/t1049.check
@@ -0,0 +1,4 @@
+t1049.scala:6: error: not found: value a
+            case a : a.MapTo =>
+                     ^
+one error found
diff --git a/test/files/neg/t1049.scala b/test/files/neg/t1049.scala
new file mode 100755
index 0000000000..2f59ed3c09
--- /dev/null
+++ b/test/files/neg/t1049.scala
@@ -0,0 +1,9 @@
+class J {
+    type tttt[a, b] <: _root_.scala.collection.mutable.Map[a, b]
+
+    def r(aa : tttt[String, String]) = {
+        0 match {
+            case a : a.MapTo =>
+        }
+    }
+}
diff --git a/test/files/pos/t1001.scala b/test/files/pos/t1001.scala
new file mode 100755
index 0000000000..88321e6e8e
--- /dev/null
+++ b/test/files/pos/t1001.scala
@@ -0,0 +1,6 @@
+class Foo;
+
+object Overload{
+  val foo = classOf[Foo].getConstructors()(0)
+  foo.getDeclaringClass
+}
diff --git a/test/files/pos/t1049.scala b/test/files/pos/t1049.scala
new file mode 100755
index 0000000000..dad83579a6
--- /dev/null
+++ b/test/files/pos/t1049.scala
@@ -0,0 +1,9 @@
+class J {
+    type tttt[a, b] <: _root_.scala.collection.mutable.Map[a, b]
+
+    def r(a : tttt[String, String]) = {
+        0 match {
+            case a : a.MapTo =>
+        }
+    }
+}