auto-generated names for `given`s are too short

[mr-git]

Compiler version

3.7.2

Minimized code

//> using scala 3.7.2
trait Special[A]

object syntax:
  given Special[Option[Long]] = ???
  given Special[Option[Int]] = ???

Output

-- [E120] Naming Error: --------------------------------------------------------
3 |  given Special[Option[Int]] = ???
  |        ^
  |Double definition:
  |final lazy given val given_Special_Option: Special[Option[Long]] in object syntax at line 2 and
  |final lazy given val given_Special_Option: Special[Option[Int]] in object syntax at line 3
1 error found

Expectation

The generated names for givens should not be limited to 2 nested types.

Workaround

//> using scala 3.7.2

import scala.annotation.targetName

trait Special[A]

object syntax:
  @targetName("Special_Option_Long")
  given Special[Option[Long]] = ???
  @targetName("Special_Option_Int")
  given Special[Option[Int]] = ???

[sjrd]

This is by design. Generated names for givens cannot be changed.

The "workaround" is the solution.

[mr-git]

@sjrd, could you please elaborate on names for givens cannot be changed part?

Were the name generation rules backed deep into TASTy and thus cannot be changed due to widespread usage?

[sjrd]

Changing them would break binary and TASTy compatibility. There have been (closed) issues about this in the past.

[som-snytt]

If they changed it now, they'd have to go back and edit all the replies to previous tickets on this topic.