summaryrefslogtreecommitdiff
path: root/test/files/neg
diff options
context:
space:
mode:
authorGrzegorz Kossakowski <grzegorz.kossakowski@gmail.com>2014-09-09 15:31:21 +0200
committerGrzegorz Kossakowski <grzegorz.kossakowski@gmail.com>2014-09-09 15:31:21 +0200
commit2ac6dc03088ecec871838d23aeb688d0e3d4eefb (patch)
tree9c8d12ccd3c223144f1a504eaa76274a3678fc75 /test/files/neg
parentabd595db299024b76f75da0728ae7ec4fca4bcae (diff)
parente01b461ad98a7cd6183d222ef91c674306c62ffd (diff)
downloadscala-2ac6dc03088ecec871838d23aeb688d0e3d4eefb.tar.gz
scala-2ac6dc03088ecec871838d23aeb688d0e3d4eefb.tar.bz2
scala-2ac6dc03088ecec871838d23aeb688d0e3d4eefb.zip
Merge pull request #3938 from gourlaysama/wip/t8764
SI-8764 fix return type of case class productElement under Xexperimental
Diffstat (limited to 'test/files/neg')
-rw-r--r--test/files/neg/t8764.check6
-rw-r--r--test/files/neg/t8764.flags1
-rw-r--r--test/files/neg/t8764.scala9
3 files changed, 16 insertions, 0 deletions
diff --git a/test/files/neg/t8764.check b/test/files/neg/t8764.check
new file mode 100644
index 0000000000..6d89ebe106
--- /dev/null
+++ b/test/files/neg/t8764.check
@@ -0,0 +1,6 @@
+t8764.scala:8: error: type mismatch;
+ found : AnyVal
+ required: Double
+ val d: Double = a.productElement(0)
+ ^
+one error found
diff --git a/test/files/neg/t8764.flags b/test/files/neg/t8764.flags
new file mode 100644
index 0000000000..48fd867160
--- /dev/null
+++ b/test/files/neg/t8764.flags
@@ -0,0 +1 @@
+-Xexperimental
diff --git a/test/files/neg/t8764.scala b/test/files/neg/t8764.scala
new file mode 100644
index 0000000000..dc5bfb0160
--- /dev/null
+++ b/test/files/neg/t8764.scala
@@ -0,0 +1,9 @@
+object Main {
+
+ case class IntAndDouble(i: Int, d: Double)
+
+ // a.productElement used to be Int => Double
+ // now: Int => AnyVal
+ val a = IntAndDouble(1, 5.0)
+ val d: Double = a.productElement(0)
+}