FailureToEliminateExistential

class FailureToEliminateExistential(tp: Type, tp1: Type, tp2: Type, boundSyms: List[Symbol])(using `x$5`: Context) extends Message
class Message
class Object
trait Matchable
class Any

Value members

Concrete methods

def kind: String
def msg: String

Inherited methods

def append(suffix: => String): Message
Inherited from
Message
def appendExplanation(suffix: => String): Message
Inherited from
Message

Does this message have an explanation? This is normally the same as explain.nonEmpty but can be overridden if we need a way to return true without actually calling the explain method.

Does this message have an explanation? This is normally the same as explain.nonEmpty but can be overridden if we need a way to return true without actually calling the explain method.

Inherited from
Message

A message is non-sensical if it contains references to tags. Such tags are inserted by the error diagnostic framework if a message contains references to internally generated error types. Normally we want to suppress error messages referring to types like this because they look weird and are normally follow-up errors to something that was diagnosed before.

A message is non-sensical if it contains references to tags. Such tags are inserted by the error diagnostic framework if a message contains references to internally generated error types. Normally we want to suppress error messages referring to types like this because they look weird and are normally follow-up errors to something that was diagnosed before.

Inherited from
Message
Inherited from
Message

The implicit Context in messages is a large thing that we don't want persisted. This method gets around that by duplicating the message, forcing its msg and explanation vals and dropping the implicit context that was captured in the original message.

The implicit Context in messages is a large thing that we don't want persisted. This method gets around that by duplicating the message, forcing its msg and explanation vals and dropping the implicit context that was captured in the original message.

Inherited from
Message

The message with potential embedded tags

The message with potential embedded tags

Inherited from
Message
override def toString: String
Definition Classes
Message -> Any
Inherited from
Message

Inherited fields

Inherited from
Message

The explanation to report. tags are filtered out

The explanation to report. tags are filtered out

Inherited from
Message
lazy val message: String

The message to report. tags are filtered out

The message to report. tags are filtered out

Inherited from
Message