Errors

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

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 exprStr(tree: Tree): String
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 takesNoParamsStr(tree: Tree, kind: String): String
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