diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/files/pos/bug1048.scala | 15 | ||||
-rw-r--r-- | test/files/run/bug1048.check | 2 | ||||
-rw-r--r-- | test/files/run/bug1048.scala | 21 | ||||
-rw-r--r-- | test/pending/pos/unapplyGeneric.scala | 11 |
4 files changed, 49 insertions, 0 deletions
diff --git a/test/files/pos/bug1048.scala b/test/files/pos/bug1048.scala new file mode 100644 index 0000000000..f88dbbc88b --- /dev/null +++ b/test/files/pos/bug1048.scala @@ -0,0 +1,15 @@ +trait T[U] { + def x: T[V] forSome { type V <: U } +} + +object T { + def unapply[U](t: T[U]): Option[T[V] forSome { type V <: U }] = Some(t.x) +} + +object Test { + def f[W](t: T[W]) = t match { + case T(T(_)) => () + } +} + + diff --git a/test/files/run/bug1048.check b/test/files/run/bug1048.check new file mode 100644 index 0000000000..f1e5eeed2d --- /dev/null +++ b/test/files/run/bug1048.check @@ -0,0 +1,2 @@ +3 +2 diff --git a/test/files/run/bug1048.scala b/test/files/run/bug1048.scala new file mode 100644 index 0000000000..5eaeaa25c6 --- /dev/null +++ b/test/files/run/bug1048.scala @@ -0,0 +1,21 @@ +final case class W[A](v: A) + +object E { + def unapply(w: W[Any]): Option[Any] = None +} + +object Bug { + def bug[A](e: Either[W[_], A]) = e match { + case Left(E(x)) => 1 + case Right(x) => 2 + case _ => 3 + } +} + +object Test { + def main(args: Array[String]): Unit = { + println(Bug.bug(Left(W(5)))) + println(Bug.bug(Right(5))) + } +} + diff --git a/test/pending/pos/unapplyGeneric.scala b/test/pending/pos/unapplyGeneric.scala new file mode 100644 index 0000000000..bf88816885 --- /dev/null +++ b/test/pending/pos/unapplyGeneric.scala @@ -0,0 +1,11 @@ +object Bar { + def unapply[A,B](bar:Bar[A,B]) = Some(bar) +} + +class Bar[A,B](val _1:A, val _2:B) extends Product2[A,B] + +object Test { + new Bar(2, 'a') match { + case Bar(x,y) => + } +} |