diff options
author | Paul Phillips <paulp@improving.org> | 2013-10-03 15:49:24 -0700 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2013-10-03 15:49:24 -0700 |
commit | 90a312669b37d6e3e3f08685953ded24759e6102 (patch) | |
tree | d3cb52921c989d91420819fe5452267cda489405 /test/pending/neg/t6680b.scala | |
parent | b9284ac33345d9e654c44af74b5e1c92a37e2c6c (diff) | |
parent | 5708e9d73ba01c286d7155606b72caeab914face (diff) | |
download | scala-90a312669b37d6e3e3f08685953ded24759e6102.tar.gz scala-90a312669b37d6e3e3f08685953ded24759e6102.tar.bz2 scala-90a312669b37d6e3e3f08685953ded24759e6102.zip |
Merge pull request #3005 from paulp/pr/7886
SI-7886 unsoundness in pattern matcher.
Diffstat (limited to 'test/pending/neg/t6680b.scala')
-rw-r--r-- | test/pending/neg/t6680b.scala | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/test/pending/neg/t6680b.scala b/test/pending/neg/t6680b.scala deleted file mode 100644 index e9f6468315..0000000000 --- a/test/pending/neg/t6680b.scala +++ /dev/null @@ -1,10 +0,0 @@ -trait Super[+A] -// `Hidden` must occur in both variance positions (covariant/contravariant) for the sneakiness to work -// this way type inference will infer Any for `Hidden` and `A` in the pattern below -case class Concrete[Hidden, +A](havoc: Hidden => Hidden) extends Super[A] - -object Test extends App { - (Concrete((x: Int) => x): Super[Any]) match { - case Concrete(f) => f("not what you'd expect") - } -}
\ No newline at end of file |