scala3-compiler-bootstrapped/dotty.tools.dotc.typer/ErrorReporting/Errors

Errors

class Errors(using `x$1`: Context)
class Object
trait Matchable
class Any

Value members

Concrete methods

def abstractVarMessage(sym: Symbol): String

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

def denotStr(denot: Denotation): String
def exprStr(tree: Tree): String
def refStr(tp: Type): String
def rewriteNotice: String

Format raw implicitNotFound or implicitAmbiguous argument, replacing all occurrences of ${X} where X is in paramNames with the corresponding shown type in args.

Format raw implicitNotFound or implicitAmbiguous argument, replacing all occurrences of ${X} where X is in paramNames with the corresponding shown type in args.

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