Merge pull request #5541 from dotty-staging/case-class-with-implicit-parameter-list

Add case class error message

Author: odersky

compiler/src/dotty/tools/dotc/ast/Desugar.scala

@@ -352,6 +352,9 @@ object desugar {
         if (isCaseClass && originalTparams.isEmpty)
           ctx.error(CaseClassMissingParamList(cdef), cdef.namePos)
         ListOfNil
+      } else if (isCaseClass && originalVparamss.head.exists(_.mods.is(Implicit))) {
+          ctx.error("Case classes should have a non-implicit parameter list", cdef.namePos)
+        ListOfNil
       }
       else originalVparamss.nestedMap(toDefParam)
     val constr = cpy.DefDef(constr1)(tparams = constrTparams, vparamss = constrVparamss)

tests/neg/5541.scala

@@ -0,0 +1 @@
+case class Foo(implicit i: Int) // error: Case classes should have a non-implicit parameter list