akka/akka-core

Scala 3 type inference issue with ActorSystemSetups#get

Open

#29.990 aberto em 1 de fev. de 2021

Ver no GitHub
 (0 comments) (0 reactions) (0 assignees)Scala (3.547 forks)batch import
1 - triagedhelp wantedt:coret:scala-3

Métricas do repositório

Stars
 (13.277 stars)
Métricas de merge de PR
 (Mesclagem média 17h 35m) (11 fundiu PRs em 30d)

Description

Investigate and see if it surfaces in user code or just some curiosity in the tests/interaction with Scalatest.

Needing that extra type ascription is curious, but only about some weirdness with Scalatest === in Scala 3 right?

(The signature of get is ActorSystemSetups#get[T <: Setup: ClassTag]: Option[T] and we explicitly give it the T, so get here returns Option[DummySetup] and setup is DummySetup so Some(setup) should be Some[DummySetup] which extends Option[DummySetup])

Originally posted by @johanandren in https://github.com/akka/akka/pull/29956#discussion_r565905744

Guia do colaborador

Direção de pesquisa
Investigue se o problema de inferência de tipo é específico ao operador `===` do Scalatest ou se aparece no código do usuário em geral. Consulte a discussão no PR #29956 (https://github.com/akka/akka/pull/29956) para contexto. Verifique o arquivo fonte de ActorSystemSetups#get para entender as restrições de tipo genérico. Reproduza o problema em um projeto simples em Scala 3 com e sem o Scalatest para determinar o escopo.
Pilha de tecnologia
None
Domain
backend
Tipo Issue
Pesquisa
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.
Meio dia
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Antigo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Precisa de investigação
Prerequisites
Scala 3 type systemAkka core basicsScalatest
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
15