CanFail

@implicitNotFound("This error handling operation assumes your effect can fail. However, ".+("your effect has Nothing for the error type, which means it cannot ").+("fail, so there is no need to handle the failure. To find out which ").+("method you can use instead of this operation, please see the ").+("reference chart at: https://zio.dev/version-1.x/can_fail"))
sealed abstract class CanFail[-E]

A value of type CanFail[E] provides implicit evidence that an effect with error type E can fail, that is, that E is not equal to Nothing.

Companion:
object
class Object
trait Matchable
class Any
object CanFail.type