akka/akka-core

Scala 3 type inference issue with ActorSystemSetups#get

Open

#29.990 geöffnet am 1. Feb. 2021

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Scala (3.547 Forks)batch import
1 - triagedhelp wantedt:coret:scala-3

Repository-Metriken

Stars
 (13.277 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 17h 35m) (11 gemergte PRs in 30 T)

Beschreibung

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

Contributor Guide

Research-Richtung
Untersuche, ob das Typinferenzproblem spezifisch für den `===` Operator von Scalatest ist oder auch in allgemeinem Benutzercode auftritt. Siehe die Diskussion in PR #29956 (https://github.com/akka/akka/pull/29956) für den Kontext. Überprüfe die Quelldatei für ActorSystemSetups#get, um die generischen Typbeschränkungen zu verstehen. Reproduziere das Problem in einem einfachen Scala 3 Projekt mit und ohne Scalatest, um den Umfang zu bestimmen.
Tech Stack
Keine
Domain
backend
Issue Type
Recherche
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
4
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Halber Tag
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Veraltet
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Recherche nötig
Voraussetzungen
Scala 3 type systemAkka core basicsScalatest
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
15