akka/akka-core

Scala 3 type inference issue with ActorSystemSetups#get

Open

#29.990 aperta il 1 feb 2021

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Scala (3547 fork)batch import
1 - triagedhelp wantedt:coret:scala-3

Metriche repository

Star
 (13.277 star)
Metriche merge PR
 (Merge medio 17h 35m) (11 PR mergiate in 30 g)

Descrizione

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

Guida contributor

Direzione di ricerca
Indaga se il problema di inferenza di tipo sia specifico dell'operatore `===` di Scalatest o si presenti anche nel codice utente generico. Per il contesto, fai riferimento alla discussione nella PR #29956 (https://github.com/akka/akka/pull/29956). Controlla il file sorgente di ActorSystemSetups#get per comprendere i vincoli di tipo generico. Riproduci il problema in un semplice progetto Scala 3 con e senza Scalatest per determinarne la portata.
Tech stack
Nessuno
Dominio
backend
Tipo issue
Ricerca
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
4
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Datata
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Richiede indagine
Prerequisiti
Scala 3 type systemAkka core basicsScalatest
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
15