diff options
| author | Paul Phillips <paulp@improving.org> | 2013-01-31 22:44:12 -0800 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2013-01-31 22:44:12 -0800 |
| commit | 110b54a575278cfdd04672b5ff170a68060ff245 (patch) | |
| tree | dd8298895522d6fe5a679379bdcae2d0b1597d63 /test/pending/neg | |
| parent | d1b6d8b20f55d0b11102ced679b54ec5ea208f8f (diff) | |
| parent | f6d90a8a2502c0e1f0ecf72a2fd4258c4f52ec84 (diff) | |
| download | scala-110b54a575278cfdd04672b5ff170a68060ff245.tar.gz scala-110b54a575278cfdd04672b5ff170a68060ff245.tar.bz2 scala-110b54a575278cfdd04672b5ff170a68060ff245.zip | |
Merge pull request #2000 from adriaanm/backport-pr-1873
[backport] SI-5378, unsoundness with type bounds in refinements.
Diffstat (limited to 'test/pending/neg')
| -rw-r--r-- | test/pending/neg/t5378.scala | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/test/pending/neg/t5378.scala b/test/pending/neg/t5378.scala deleted file mode 100644 index cada29b0a0..0000000000 --- a/test/pending/neg/t5378.scala +++ /dev/null @@ -1,19 +0,0 @@ -import language.reflectiveCalls - -class Coll[+T] { - def contains = new { def apply[T1 <: T](value: T1) = ??? } -} - -object Test { - def main(args: Array[String]): Unit = { - val xs = new Coll[List[String]] - val ys: Coll[Traversable[String]] = xs - - println(ys contains Nil) - // java.lang.NoSuchMethodException: Coll$$anon$1.apply(scala.collection.Traversable) - // at java.lang.Class.getMethod(Class.java:1605) - // at Test$.reflMethod$Method1(a.scala:14) - // at Test$.main(a.scala:14) - // at Test.main(a.scala) - } -} |