Errors

dotty.tools.dotc.typer.ErrorReporting.Errors
class Errors(using x$1: Context)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

An explanatory note to be added to error messages when there's a problem with abstract var defs

An explanatory note to be added to error messages when there's a problem with abstract var defs

Attributes

def denotStr(denot: Denotation): String
def exprStr(tree: Tree): String
def infoString(sym: Symbol, base: Type, showLocation: Boolean): String

Explain info of symbol sym as a member of class base.

Explain info of symbol sym as a member of class base.

Value parameters

showLocation

if true also show sym's location.

Attributes

def refStr(tp: Type): String

Reveal arguments in FunProtos that are proteted by an IgnoredProto but were revealed during type inference. This gives clearer error messages for overloading resolution errors that need to show argument lists after the first. We do not reveal other kinds of ignored prototypes since these might be misleading because there might be a possible implicit conversion on the result.

Reveal arguments in FunProtos that are proteted by an IgnoredProto but were revealed during type inference. This gives clearer error messages for overloading resolution errors that need to show argument lists after the first. We do not reveal other kinds of ignored prototypes since these might be misleading because there might be a possible implicit conversion on the result.

Attributes

def selectErrorAddendum(tree: RefTree, qual1: Tree, qualType: Type, suggestImports: Type => String, foundWithoutNull: Boolean)(using Context): String
def takesNoParamsMsg(tree: Tree, kind: String): Message
def typeMismatch(tree: Tree, pt: Type, implicitFailure: SearchFailureType): Tree
def whyNoMatchStr(found: Type, expected: Type): String

A subtype log explaining why found does not conform to expected

A subtype log explaining why found does not conform to expected

Attributes