Addenda

dotty.tools.dotc.typer.ErrorReporting.Addenda
trait Addenda

A mixin trait that can produce added elements for an error message

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
Self type

Members list

Value members

Concrete methods

def ++(follow: Addenda): Addenda
def toAdd(using Context): List[String]