Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Use an inline given for CanFail evidence in Scala 3 #9568

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Feb 10, 2025
Merged

Use an inline given for CanFail evidence in Scala 3 #9568

Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
7921f1d
Use an `inline given` for CanFail evidence in Scala 3
kyri-petrou Feb 10, 2025
74602fe
Add missing import
kyri-petrou Feb 10, 2025
79ad628
Fix compiling error
kyri-petrou Feb 10, 2025
5aeca76
Use a low priority implicit to maintain source compatibility
kyri-petrou Feb 10, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 13 additions & 3 deletions core/shared/src/main/scala-3/zio/CanFail.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ package zio

import zio.stacktracer.TracingImplicits.disableAutoTrace

import scala.annotation.implicitNotFound
import scala.annotation.{implicitNotFound, targetName}
import scala.util.NotGiven

/**
Expand All @@ -34,6 +34,16 @@ import scala.util.NotGiven
)
sealed abstract class CanFail[-E]

object CanFail extends CanFail[Any] {
implicit def canFail[E](implicit ev: NotGiven[E =:= Nothing]): CanFail[E] = CanFail
object CanFail extends CanFail[Any] with CanFailLowPriority {
inline given canFail[E](using inline ev: NotGiven[E =:= Nothing]): CanFail[E] = CanFail

@targetName("canFail")
@deprecated("Kept for binary compatibility only, do not use", "2.1.16")
private[zio] def _canFailCompat[E](implicit ev: NotGiven[E =:= Nothing]): CanFail[E] = CanFail
}

private[zio] transparent trait CanFailLowPriority { self: CanFail.type =>
// In some extremely extremely rare case the type inference prior to macro expansion doesn't work,
// so we need a non-inlined low priority as a fallback
implicit def canFailLowPriority[E](implicit ev: NotGiven[E =:= Nothing]): CanFail[E] = self
}
Loading