diff options
| author | Jason Zaugg <jzaugg@gmail.com> | 2013-05-21 09:28:42 +0200 |
|---|---|---|
| committer | Jason Zaugg <jzaugg@gmail.com> | 2013-05-21 09:28:42 +0200 |
| commit | d64de5bd1ec6a58e7f7395dc3c9e96613b523d23 (patch) | |
| tree | c0110af7456a652ccc6501e3d23e4a5bcf84282b /test/files | |
| parent | 085b4d9bdb7ba9f9fe00c63e998e93278a34b161 (diff) | |
| download | scala-d64de5bd1ec6a58e7f7395dc3c9e96613b523d23.tar.gz scala-d64de5bd1ec6a58e7f7395dc3c9e96613b523d23.tar.bz2 scala-d64de5bd1ec6a58e7f7395dc3c9e96613b523d23.zip | |
SI-7499 Additional test case for SI-7319
From a duplicate ticket.
Diffstat (limited to 'test/files')
| -rw-r--r-- | test/files/run/t7319.check | 9 | ||||
| -rw-r--r-- | test/files/run/t7319.scala | 1 |
2 files changed, 9 insertions, 1 deletions
diff --git a/test/files/run/t7319.check b/test/files/run/t7319.check index 966736915e..b5081f2d00 100644 --- a/test/files/run/t7319.check +++ b/test/files/run/t7319.check @@ -32,7 +32,14 @@ argument expression's type is not compatible with formal parameter type; convert(Some[Int](0)) ^ +scala> Range(1,2).toArray: Seq[_] +<console>:11: error: polymorphic expression cannot be instantiated to expected type; + found : [B >: Int]Array[B] + required: Seq[_] + Range(1,2).toArray: Seq[_] + ^ + scala> 0 -res1: Int = 0 +res2: Int = 0 scala> diff --git a/test/files/run/t7319.scala b/test/files/run/t7319.scala index 23ffeb977d..65a3ed922d 100644 --- a/test/files/run/t7319.scala +++ b/test/files/run/t7319.scala @@ -9,5 +9,6 @@ implicit def ma0[A](a: A): M[A] = null implicit def ma1[A](a: A): M[A] = null def convert[F[X <: F[X]]](builder: F[_ <: F[_]]) = 0 convert(Some[Int](0)) +Range(1,2).toArray: Seq[_] 0""" // before the fix, this line, and all that followed, re-issued the implicit ambiguity error. } |