Scala 3 type inference issue with ActorSystemSetups#get · akka/akka-core#29990

(0 comments) (0 reactions) (0 assignees)Scala (13,277 stars) (3,547 forks)batch import

1 - triagedhelp wantedt:coret:scala-3

説明

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

コントリビューターガイド

技術スタック: なし
領域: backend
Issue 種別: research
難度: 4
推定時間: half day
活動状況: stale
明確さ: needs investigation
前提条件: Scala 3 type systemAkka core basicsScalatest
初心者向け度: 15
調査方針: Investigate if the type inference issue is specific to Scalatest's `===` operator or appears in general user code. Refer to the discussion in PR #29956 (https://github.com/akka/akka/pull/29956) for context. Check the source file for ActorSystemSetups#get to understand the generic type constraints. Reproduce the issue in a simple Scala 3 project with and without Scalatest to determine the scope.