case class synthetic method generation when abstract method declaration is present #12623
Labels
fixed in Scala 3
This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/)
has PR
Milestone
Reproduction steps
Scala version: 2.13.8
Problem
The compiler reports "class C needs to be abstract. Missing implementation for: def copy(i: Int, s: String): C inherited from trait MapI".
Expectation
I'd appreciate the compiler not stopping synthetic method generation if an abstract method declaration is present. This way one would not need to implement
mapI
in everycase class
. I also checked Scala 3.1.2 which works fine.See also
https://contributors.scala-lang.org/t/continue-with-case-class-synthetic-method-generation-when-abstract-method-declaration-is-present/5826
The text was updated successfully, but these errors were encountered: