This member is added by an implicit conversion from ImpossibleRefinement to
any2stringadd[ImpossibleRefinement] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from ImpossibleRefinement to
StringFormat[ImpossibleRefinement] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
defgetCause(): Throwable
Definition Classes
Throwable
final defgetClass(): Class[_]
Definition Classes
AnyRef → Any
defgetLocalizedMessage(): String
Definition Classes
Throwable
defgetMessage(): String
Definition Classes
Throwable
defgetStackTrace(): Array[StackTraceElement]
Definition Classes
Throwable
final defgetSuppressed(): Array[Throwable]
Definition Classes
Throwable
definitCause(arg0: Throwable): Throwable
Definition Classes
Throwable
final defisInstanceOf[T0]: Boolean
Definition Classes
Any
final defne(arg0: AnyRef): Boolean
Definition Classes
AnyRef
final defnotify(): Unit
Definition Classes
AnyRef
final defnotifyAll(): Unit
Definition Classes
AnyRef
defprintStackTrace(arg0: PrintWriter): Unit
Definition Classes
Throwable
defprintStackTrace(arg0: PrintStream): Unit
Definition Classes
Throwable
defprintStackTrace(): Unit
Definition Classes
Throwable
valrefinementGoal: String
defsetStackTrace(arg0: Array[StackTraceElement]): Unit
Thrown to indicate that a refinement of some value was not possible.