CyclicReference

dotty.tools.dotc.core.CyclicReference
See theCyclicReference companion object

This TypeError signals that completing denot encountered a cycle: it asked for denot.info (or similar), so it requires knowing denot already.

Attributes

Companion:
object
Graph
Supertypes
class TypeError
class Exception
class Throwable
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

override def toMessage(using Context): Message

Convert to message. This takes an additional Context, so that we use the context when the message is first produced, i.e. when the TypeError is handled. This makes a difference for CyclicErrors since we need to know the context where the completed symbol is referenced, but the creation context of the CyclicReference is the completion context for the symbol. See i2887b for a test case, where we want to see "recursive or overloaded method needs result type".

Convert to message. This takes an additional Context, so that we use the context when the message is first produced, i.e. when the TypeError is handled. This makes a difference for CyclicErrors since we need to know the context where the completed symbol is referenced, but the creation context of the CyclicReference is the completion context for the symbol. See i2887b for a test case, where we want to see "recursive or overloaded method needs result type".

Attributes

Definition Classes

Inherited methods

Attributes

Inherited from:
Throwable

Attributes

Inherited from:
Throwable

Attributes

Inherited from:
Throwable

Attributes

Inherited from:
Throwable
override def getMessage: String

Uses creationContext to produce the message

Uses creationContext to produce the message

Attributes

Definition Classes
Inherited from:
TypeError

Attributes

Inherited from:
Throwable

Attributes

Inherited from:
Throwable

Attributes

Inherited from:
Throwable

Attributes

Inherited from:
Throwable

Attributes

Inherited from:
Throwable

Attributes

Inherited from:
Throwable

Attributes

Inherited from:
Throwable

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns:

a string representation of the object.

Inherited from:
Throwable