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: class ExistentialSubsumesFailure

class IncludeFailure

class MutAdaptFailure

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

In this article

Generated with