fixed problems in type patterns

made some type error messages more precise

2 files changed, 6 insertions, 1 deletions

diff --git a/test/files/pos/escapes2.scala b/test/files/pos/escapes2.scala
new file mode 100755
index 0000000000..b94066936a
--- /dev/null
+++ b/test/files/pos/escapes2.scala
@@ -0,0 +1,5 @@
+object Test {
+  class C3[T](val elem: T)
+  class D3[T](val elemD: T) extends C3[T](elemD)
+  def f[T](x: C3[T]) = x match { case d: D3[t] => d.elemD }
+}
diff --git a/test/files/pos/viewtest2.scala b/test/files/pos/viewtest2.scala
index 66cd1aa1bd..6a6ed96df7 100644
--- a/test/files/pos/viewtest2.scala
+++ b/test/files/pos/viewtest2.scala
@@ -40,7 +40,7 @@ object O {
   implicit def view3[a <% Ordered[a]](x: List[a]): Ordered[List[a]] =
     new Ordered[List[a]] {
       def compareTo [b >: List[a] <% Ordered[b]](y: b): int = y match {
-        case y1: List[a] => compareLists(x, y1)
+        case y1: List[a1] => compareLists(x, y1.asInstanceOf[List[a]])
         case _ => -(y compareTo x)
       }
       private def compareLists(xs: List[a], ys: List[a]): int = {