diff options
author | Paul Phillips <paulp@improving.org> | 2011-07-13 06:58:04 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-07-13 06:58:04 +0000 |
commit | d8e882ad5ccd7006a4304d9378a7a9328f55e173 (patch) | |
tree | a18c07da73515be37e48b1bd1c15ed1e8f3df0ce /test/pending | |
parent | e032852d12a301fb8ee8b10fe1f6a6f6eb09b7d4 (diff) | |
download | scala-d8e882ad5ccd7006a4304d9378a7a9328f55e173.tar.gz scala-d8e882ad5ccd7006a4304d9378a7a9328f55e173.tar.bz2 scala-d8e882ad5ccd7006a4304d9378a7a9328f55e173.zip |
Bounded wildcard types arising during pattern t...
Bounded wildcard types arising during pattern type inference can cause
unnecessary crashes. Closes #1048, review by odersky.
Diffstat (limited to 'test/pending')
-rw-r--r-- | test/pending/pos/unapplyGeneric.scala | 11 |
1 files changed, 11 insertions, 0 deletions
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) => + } +} |