scala/scala3

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

Open

#18.631 aberto em 2 de out. de 2023

Ver no GitHub
 (10 comments) (0 reactions) (0 assignees)Scala (1.159 forks)batch import
area:documentationgood first issueitype:enhancement

Métricas do repositório

Stars
 (6.247 stars)
Métricas de merge de PR
 (Mesclagem média 18d 14h) (133 fundiu PRs em 30d)

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

Guia do colaborador

Direção de pesquisa
Investigue como a resolução implícita combina `given [T]: CanEqual[T, T]` para dois tipos diferentes. A instância fornecida fornece igualdade para qualquer tipo T consigo mesmo, mas para `Test(1) == Test2(2)` o compilador resolve `CanEqual[Test, Test2]`. Examine como a inferência de tipo e a busca implícita interagem, particularmente como T é inferido e se o compilador unifica incorretamente os tipos. Consulte a especificação do Scala 3 sobre instâncias given e resolução implícita, e verifique o código fonte do compilador para resolução de CanEqual e inferência de tipo. O relatório de bug inclui um link Scastie para reprodução.
Pilha de tecnologia
scala
Domain
backendcompilers
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
4
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-2 dias
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
Scalaimplicit resolution concepts
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
20