scala/scala3

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

Open

#18 631 ouverte le 2 oct. 2023

Voir sur GitHub
 (10 commentaires) (0 réactions) (0 assignés)Scala (1 159 forks)batch import
area:documentationgood first issueitype:enhancement

Métriques du dépôt

Stars
 (6 247 stars)
Métriques de merge PR
 (Merge moyen 18j 14h) (133 PRs mergées en 30 j)

Description

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

Guide contributeur

Direction de recherche
Enquêtez sur la manière dont la résolution implicite fait correspondre `given [T]: CanEqual[T, T]` à deux types différents. L'instance donnée fournit l'égalité pour tout type T avec lui même, mais pour `Test(1) == Test2(2)`, le compilateur résout `CanEqual[Test, Test2]`. Examinez comment l'inférence de type et la recherche implicite interagissent, en particulier comment T est inféré et si le compilateur unifie incorrectement les types. Consultez la spécification Scala 3 sur les instances given et la résolution implicite, et vérifiez le code source du compilateur pour la résolution CanEqual et l'inférence de type. Le rapport de bogue inclut un lien Scastie pour la reproduction.
Stack technique
scala
Domaine
backendcompilers
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
4
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Scalaimplicit resolution concepts
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
20