verify/verify/Void/Caught

Caught

final case class Caught[A](ref: A, location: SourceLocation) extends Void

Represents a reference that was caught by a conversion.

trait Serializable
trait Product
trait Equals
class Void
class Object
trait Matchable
class Any

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product