scala/scala3

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

Open

#18,631 创建于 2023年10月2日

在 GitHub 查看
 (10 评论) (0 反应) (0 负责人)Scala (1,159 fork)batch import
area:documentationgood first issueitype:enhancement

仓库指标

Star
 (6,247 star)
PR 合并指标
 (平均合并 18天 14小时) (30 天内合并 133 个 PR)

描述

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]` 匹配给两个不同的类型。该 given 实例为任何类型 T 与其自身提供相等性，但对于 `Test(1) == Test2(2)`，编译器解析出了 `CanEqual[Test, Test2]`。检查类型推断和隐式搜索如何交互，特别是 T 是如何被推断的，以及编译器是否错误地统一了类型。查阅 Scala 3 关于 given 实例和隐式解析的规范，并检查编译器中 CanEqual 解析和类型推断的源代码。该 bug 报告包含一个 Scastie 链接供复现。
技术栈
scala
领域
backendcompilers
议题类型
缺陷
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
4
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-2 天
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
活跃
清晰度议题是否清楚说明期望改动、验收标准和下一步。
清晰
前置要求
Scalaimplicit resolution concepts
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
20