scala/scala3

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

Open

#18,631 opened on 2023年10月2日

GitHub で見る
 (10 comments) (0 reactions) (0 assignees)Scala (1,159 forks)batch import
area:documentationgood first issueitype:enhancement

Repository metrics

Stars
 (6,247 stars)
PR merge metrics
 (平均マージ 18d 14h) (30d で 133 merged PRs)

説明

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

コントリビューターガイド

調査方針
`given [T]: CanEqual[T, T]` が異なる2つの型に対してどのように解決されるかを調査します。このgivenインスタンスは任意の型Tに対して自身との等価性を提供しますが、`Test(1) == Test2(2)`に対してコンパイラは`CanEqual[Test, Test2]`を解決します。型推論と暗黙の検索がどのように相互作用するか、特にTがどのように推論されるか、コンパイラが誤って型を統一していないかを調べてください。Scala 3のgivenインスタンスと暗黙の解決に関する仕様を参照し、コンパイラのソースコード内のCanEqual解決と型推論を確認してください。バグレポートには再現用のScastieリンクが含まれています。
技術スタック
scala
領域
backendcompilers
Issue 種別
バグ
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
4
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
1-2日
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
アクティブ
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
明確
前提条件
Scalaimplicit resolution concepts
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
20