ErrorNote

dotty.tools.dotc.core.TypeComparer.ErrorNote
trait ErrorNote

A base trait for data producing addenda to error messages

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Concrete methods

def kind: Class[_]

A disciminating kind. An error note is not added if it has the same kind as an already existing error note.

A disciminating kind. An error note is not added if it has the same kind as an already existing error note.

Attributes