scala/scala3

Documentation help needed: `given [T]: CanEqual[T, T]` resolves `CanEqual`s of different types

Open

#18.631 aperta il 2 ott 2023

Vedi su GitHub
 (10 commenti) (0 reazioni) (0 assegnatari)Scala (1159 fork)batch import
area:documentationgood first issueitype:enhancement

Metriche repository

Star
 (6247 star)
Metriche merge PR
 (Merge medio 18g 14h) (133 PR mergiate in 30 g)

Descrizione

Compiler version: 3.3.1 Compiler option: -language:strictEquality

The following code compiles fine. But why? Where does it finds CanEqual[Test, Test2] of different types?

case class Test(i: Int)
case class Test2(i: Int)

object Eq:
  given [T]: CanEqual[T, T] = CanEqual.derived

  @main def run(): Unit =
    Test(1) == Test2(2)
    ()

https://scastie.scala-lang.org/X6boEpObQXee5uhESbviuQ

Thanks

Guida contributor

Direzione di ricerca
Indaga come la risoluzione implicita fa corrispondere `given [T]: CanEqual[T, T]` a due tipi diversi. L'istanza data fornisce uguaglianza per qualsiasi tipo T con se stesso, ma per `Test(1) == Test2(2)` il compilatore risolve `CanEqual[Test, Test2]`. Esamina come l'inferenza dei tipi e la ricerca implicita interagiscono, in particolare come T viene inferito e se il compilatore unifica erroneamente i tipi. Consulta la specifica di Scala 3 sulle istanze given e la risoluzione implicita, e controlla il codice sorgente del compilatore per la risoluzione di CanEqual e l'inferenza dei tipi. Il bug report include un link Scastie per la riproduzione.
Tech stack
scala
Dominio
backendcompilers
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
4
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Scalaimplicit resolution concepts
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
20