akka/akka-core

Scala 3 type inference issue with ActorSystemSetups#get

Open

#29 990 ouverte le 1 févr. 2021

Voir sur GitHub
 (0 commentaires) (0 réactions) (0 assignés)Scala (3 547 forks)batch import
1 - triagedhelp wantedt:coret:scala-3

Métriques du dépôt

Stars
 (13 277 stars)
Métriques de merge PR
 (Merge moyen 17h 35m) (11 PRs mergées en 30 j)

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

Guide contributeur

Direction de recherche
Étudiez si le problème d'inférence de type est spécifique à l'opérateur `===` de Scalatest ou apparaît dans le code utilisateur en général. Reportez vous à la discussion dans la PR #29956 (https://github.com/akka/akka/pull/29956) pour le contexte. Vérifiez le fichier source de ActorSystemSetups#get pour comprendre les contraintes de type générique. Reproduisez le problème dans un projet Scala 3 simple avec et sans Scalatest pour en déterminer la portée.
Stack technique
Aucun
Domaine
backend
Type d'issue
Recherche
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
4
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Une demi journée
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Ancienne
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Investigation requise
Prérequis
Scala 3 type systemAkka core basicsScalatest
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
15