Setter syntax with context bound bug

[scabug]

Implicit parameters with one type parameter fails to compile
With 2, 3 and possibly more it works.

trait WithThree[A, B, C]

case class Holder[T](_elem: T) {
  def elem_=[U>:T](newElem: U)(implicit ev: U <:< AnyVal) = copy(_elem=newElem)
  def elem = _elem

  def elem3_=[U>:T](newElem: U)(implicit ev: WithThree[T, T, T]) = copy(_elem=newElem)
  def elem3 = elem

  def typeClassElem = _elem
  def typeClassElem[U>:T](newElem: U)(implicit n: Numeric[U]) = copy[U](_elem=n.negate(newElem))
}

object HolderTest {
  implicit val three: WithThree[Nothing, Nothing, Nothing] = ???
  val hBottom: Holder[Nothing] = ???
  val hTop: Holder[AnyVal] = hBottom.elem = 3
  val hParam: Holder[Int] = hBottom.elem3 = 3
//  val hType: Holder[Int] = hBottom.typeClassElem = 3 // <-- Doesnt compile
}

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-9258?orig=1
Reporter: Raul Bache (arneball)
Affected Versions: 2.11.6

[SethTisue]

Scala 3.6.3:

-- [E052] Type Error: ----------------------------------------------------------
19 |  val hType: Holder[Int] = hBottom.typeClassElem = 3 // <-- Doesnt compile
   |                           ^^^^^^^^^^^^^^^^^^^^^^^^^
   |                           Reassignment to val <none>
   |
   | longer explanation available when compiling with `-explain`

[som-snytt]

@SethTisue isn't this just a typo?

def typeClassElem_=

error: value typeClassElem_= is not a member of Holder[Nothing]

[som-snytt]

scala/scala3#22671