NumberedInfo

dotty.tools.dotc.core.NameKinds$.NumberedInfo
trait NumberedInfo extends NameInfo

A base trait for infos that contain a number

Attributes

Graph
Supertypes
class NameInfo
class Object
trait Matchable
class Any
Known subtypes

Members list

Concise view

Value members

Abstract methods

def num: Int

Inherited methods

Attributes

Inherited from:
NameInfo

Attributes

Inherited from:
NameInfo
def mkString(underlying: TermName): String

Attributes

Inherited from:
NameInfo