Merge pull request #10085 from som-snytt/issue/12623-case-copy-override

Abstract parent copy does not suspend case copy

src/compiler/scala/tools/nsc/typechecker/Namers.scala

@@ -1230,7 +1230,7 @@ trait Namers extends MethodSynthesis {
         val modClass = companionSymbolOf(clazz, context).moduleClass
         modClass.attachments.get[ClassForCaseCompanionAttachment] foreach { cma =>
           val cdef = cma.caseClass
-          def hasCopy = (decls containsName nme.copy) || parents.exists(_.member(nme.copy).exists)
+          def hasCopy = decls.containsName(nme.copy) || parents.exists { p => val ov = p.member(nme.copy); ov.exists && !ov.isDeferred }
 
           // scala/bug#5956 needs (cdef.symbol == clazz): there can be multiple class symbols with the same name
           if (cdef.symbol == clazz && !hasCopy)

test/files/pos/t12623.scala

@@ -0,0 +1,19 @@
+
+trait MapI[C] {
+  def i: Int
+  def s: String
+  def copy(i: Int = this.i, s: String = this.s): C
+  def mapI(i: Int): C = copy(i)
+}
+
+case class C(i: Int, s: String) extends MapI[C]
+
+/*
+was:
+t12623.scala:9: error: class C needs to be abstract.
+Missing implementation for member of trait MapI:
+  def copy(i: Int, s: String): C = ???
+
+case class C(i: Int, s: String) extends MapI[C]
+           ^
+ */