scala/scala3

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

Open

#18.631 geöffnet am 2. Okt. 2023

Auf GitHub ansehen
 (10 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Scala (1.159 Forks)batch import
area:documentationgood first issueitype:enhancement

Repository-Metriken

Stars
 (6.247 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 18T 14h) (133 gemergte PRs in 30 T)

Beschreibung

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

Contributor Guide

Research-Richtung
Untersuchen Sie, wie die implizite Auflösung `given [T]: CanEqual[T, T]` auf zwei verschiedene Typen anwendet. Die gegebene Instanz liefert Gleichheit für jeden Typ T mit sich selbst, aber für `Test(1) == Test2(2)` löst der Compiler `CanEqual[Test, Test2]` auf. Untersuchen Sie, wie Typhinweise und implizite Suche interagieren, insbesondere wie T abgeleitet wird und ob der Compiler fälschlicherweise die Typen vereinheitlicht. Konsultieren Sie die Scala 3 Spezifikation zu given Instanzen und impliziter Auflösung, und überprüfen Sie den Quellcode des Compilers für die CanEqual Auflösung und Typhinweise. Der Bugreport enthält einen Scastie Link zur Reproduktion.
Tech Stack
scala
Domain
backendcompilers
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
4
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-2 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
Scalaimplicit resolution concepts
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
20