• Home
• org.scala-lang
• scala3-library_sjs1_3
• 3.6.3-RC1-bin-20241114-6a7d5d3-NIGHTLY
• source code
• CanThrow.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

scala.CanThrow.scala Maven / Gradle / Ivy

package scala
import language.experimental.erasedDefinitions
import annotation.{implicitNotFound, experimental, capability}

/** A capability class that allows to throw exception `E`. When used with the
 *  experimental.saferExceptions feature, a `throw Ex()` expression will require
 *  a given of class `CanThrow[Ex]` to be available.
 */
@experimental
@implicitNotFound("The capability to throw exception ${E} is missing.\nThe capability can be provided by one of the following:\n - Adding a using clause `(using CanThrow[${E}])` to the definition of the enclosing method\n - Adding `throws ${E}` clause after the result type of the enclosing method\n - Wrapping this piece of code with a `try` block that catches ${E}")
erased class CanThrow[-E <: Exception] extends caps.Capability

@experimental
object unsafeExceptions:
  given canThrowAny: CanThrow[Exception] = compiletime.erasedValue