StickyError
A sticky error is an error that should not be hidden by backtracking and trying some alternative path. Typically, errors issued after catching a TypeError exception are sticky.
class Error
class Diagnostic
trait Diagnostic
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any