Merge pull request #5585 from som-snytt/issue/10097

SI-10097 Error if no non-implicit case class param

5 files changed, 13 insertions, 3 deletions

diff --git a/test/files/run/patmat-exprs.scala b/test/files/run/patmat-exprs.scala
index 7ca5fd3063..d18df9c714 100644
--- a/test/files/run/patmat-exprs.scala
+++ b/test/files/run/patmat-exprs.scala
@@ -344,13 +344,13 @@ trait Pattern {
   }
 
 
-  case class Zero[T] (implicit num: NumericOps[T]) extends Leaf[T] {
+  case class Zero[T]()(implicit num: NumericOps[T]) extends Leaf[T] {
     def derivative(variable: Var[T]) = Zero[T]
     def eval(f: Any => Any) = num.zero
     override def toString = "0"
   }
 
-  case class One[T] (implicit num: NumericOps[T]) extends Leaf[T] {
+  case class One[T]()(implicit num: NumericOps[T]) extends Leaf[T] {
     def derivative(variable: Var[T]) = Zero[T]
     def eval(f: Any => Any) = num.one
     override def toString = "1"
diff --git a/test/files/run/t10097.check b/test/files/run/t10097.check
new file mode 100644
index 0000000000..0e8b96061c
--- /dev/null
+++ b/test/files/run/t10097.check
@@ -0,0 +1,3 @@
+t10097.scala:2: warning: case classes should have a non-implicit parameter list; adapting to 'case class C()(...)'
+case class C(implicit c: Int)
+            ^
diff --git a/test/files/run/t10097.flags b/test/files/run/t10097.flags
new file mode 100644
index 0000000000..dcc59ebe32
--- /dev/null
+++ b/test/files/run/t10097.flags
@@ -0,0 +1 @@
+-deprecation
diff --git a/test/files/run/t10097.scala b/test/files/run/t10097.scala
new file mode 100644
index 0000000000..a16be897cc
--- /dev/null
+++ b/test/files/run/t10097.scala
@@ -0,0 +1,6 @@
+
+case class C(implicit c: Int)
+
+object Test extends App {
+  assert(C()(42).productArity == 0)
+}
diff --git a/test/files/run/t5907.scala b/test/files/run/t5907.scala
index a005e9fbd3..81fc43e3f5 100644
--- a/test/files/run/t5907.scala
+++ b/test/files/run/t5907.scala
@@ -86,7 +86,7 @@ object Test extends App {
   }
 }
 
-case class C1(implicit x: Int) {
+case class C1()(implicit x: Int) {
   override def toString = s"c1: $x"
 }
 case class C2()(y: Int) {