diff options
-rw-r--r-- | test/pending/pos/t1438.scala | 10 | ||||
-rw-r--r-- | test/pending/pos/t1439.scala | 7 |
2 files changed, 17 insertions, 0 deletions
diff --git a/test/pending/pos/t1438.scala b/test/pending/pos/t1438.scala new file mode 100644 index 0000000000..221c3439dd --- /dev/null +++ b/test/pending/pos/t1438.scala @@ -0,0 +1,10 @@ +class C[A] { + type CC[B] <: C[B] + def aio[T]: T = aio[T] +} +class D[A] extends C[A] { + protected def nv[B](elems: Iterator[B]): CC[B] = { + val x = new D[B] + x.aio[CC[B]] + } +} diff --git a/test/pending/pos/t1439.scala b/test/pending/pos/t1439.scala new file mode 100644 index 0000000000..ae1fdd10b5 --- /dev/null +++ b/test/pending/pos/t1439.scala @@ -0,0 +1,7 @@ +class View[C[A]] {} + +object Test { + null match { + case v: View[_] => + } +} |