diff options
author | Grzegorz Kossakowski <grzegorz.kossakowski@gmail.com> | 2014-03-07 22:56:36 +0100 |
---|---|---|
committer | Grzegorz Kossakowski <grzegorz.kossakowski@gmail.com> | 2014-03-07 22:56:36 +0100 |
commit | 6feaba678519dd4ff32d816e8c2c71989df1ceca (patch) | |
tree | 2f130920a3c3d56b3675a8a9eb3b17d05c45a225 /test | |
parent | 2dddb03b267770afcd0249ad700e55d53019e637 (diff) | |
parent | ed743265173e4dcbd5a77ffb6364bff1d587c90e (diff) | |
download | scala-6feaba678519dd4ff32d816e8c2c71989df1ceca.tar.gz scala-6feaba678519dd4ff32d816e8c2c71989df1ceca.tar.bz2 scala-6feaba678519dd4ff32d816e8c2c71989df1ceca.zip |
Merge pull request #3605 from gkossakowski/issue/SI-8372
SI-8372: unspliceable type printed in error message
Diffstat (limited to 'test')
-rw-r--r-- | test/files/neg/t8372.check | 7 | ||||
-rw-r--r-- | test/files/neg/t8372.scala | 10 |
2 files changed, 17 insertions, 0 deletions
diff --git a/test/files/neg/t8372.check b/test/files/neg/t8372.check new file mode 100644 index 0000000000..6a6424a834 --- /dev/null +++ b/test/files/neg/t8372.check @@ -0,0 +1,7 @@ +t8372.scala:7: error: No ClassTag available for T1 + def unzip[T1, T2](a: Array[(T1, T2)]) = a.unzip + ^ +t8372.scala:9: error: No ClassTag available for T1 + def unzip3[T1, T2, T3](a: Array[(T1, T2, T3)]): (Array[T1], Array[T2], Array[T3]) = a.unzip3 + ^ +two errors found diff --git a/test/files/neg/t8372.scala b/test/files/neg/t8372.scala new file mode 100644 index 0000000000..60a674f4d8 --- /dev/null +++ b/test/files/neg/t8372.scala @@ -0,0 +1,10 @@ +class t8372 { + // failed with "error: tpe T1 is an unresolved spliceable type"; that was caused by + // misguided type inference of type parameters in ArrayOps.unzip + // the type inference failed because the order of implicit arguments was wrong + // the evidence that T <: (T1, T2) came as last argument so it couldn't guide the + // type inference early enough + def unzip[T1, T2](a: Array[(T1, T2)]) = a.unzip + // the same as above + def unzip3[T1, T2, T3](a: Array[(T1, T2, T3)]): (Array[T1], Array[T2], Array[T3]) = a.unzip3 +} |