false error on .either

[strokyl]

I got the following code:

ZIO.serviceWithZIO[IndexedTopicService](_.list(aCluster.clusterSlug, apiCaller)).either

highlighted in red with the following error:

Replace with .map(Right(_)) 
Effect cannot fail; operation .either is impossible

To signature of the list method of IndexedTopicService:

  def list(
    clusterName: values.ClusterSlug,
    caller: core.domain.auth.ApiCaller
  ): IO[ConsoleError, List[IndexedTopic]]

Removing the ZIO plugin, remove the error.

ZIO plugin version: 2024.3.35.0
Intelij version: 2024.4.3
Scala: 3.5.2

The project is imported using BSP.

[hmemcpy]

Ugh, sorry about that. I'll take a look.

[hmemcpy]

Yeah, just as I expected. This is, unfortunately, a bug in the Scala plugin that made it into the release version. It breaks type signatures for partially-applied types. See this little squiggly?

This is IntelliJ resolving the signature of serviceWithZIO to the signature of its apply method instead, thinking it's missing some type arguments. This breaks the ZIO plugin because it now fails to correctly infer the environment.

Anyway, the team said they're working on a fix and it should be available soon, and hopefully this just "fixes" the ZIO plugin issue as well.

Keeping this issue open to verify when the fix becomes available.

[strokyl]

Thank you for the information