diff options
Diffstat (limited to 'test/files/pos')
| -rwxr-xr-x | test/files/pos/escapes2.scala | 5 | ||||
| -rw-r--r-- | test/files/pos/viewtest2.scala | 2 |
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 = { |