Scala 3: wrongly accepted modify does nothing

[OndrejSpanel]

Following code does not compile in Scala 2 and it should not compile in Scala 3. It is accepted instead, but the modify does nothing at all:

import com.softwaremill.quicklens._

object Main {
  case class Content(x: String)
  class A(val c: Content) {
    override def toString = s"x:${c.x}"
    def copy(x: String = c.x): A = new A(Content(x))
  }

  def main(args: Array[String]): Unit = {
    val a = new A(Content("A"))
    val am = a.modify(_.c).setTo(Content("B"))
    println(am)
  }
}

There is no copy accepting c parameter, therefore modify(_.c) is impossible to implement.

Result when running this in Scala 3 is:

x:A

[OndrejSpanel]

Looking at #257, it is very likely it will fix this one as well. Staying tuned...

[OndrejSpanel]

.. or not. In this case there is only one copy method. But the work from #257 should be possible to use to check if the one and only copy is suitable.

[OndrejSpanel]

I will try to get my hands dirty here.

[OndrejSpanel]

It is almost fixed with 1.9.10, only the error message is a bit confusing:

A has no member named copy

I will check if I am able to improve that, at least I will learn something if any similar issues should surface again.