AvoidNameKind

dotty.tools.dotc.core.NameKinds.AvoidNameKind
enum AvoidNameKind(tag: Int, prefix: String) extends PrefixNameKind

See ConstraintHandling#LevelAvoidMap.

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class NameKind
class Object
trait Matchable
class Any
Show all

Members list

Type members

Enum entries

case BothBounds extends AvoidNameKind
case LowerBound extends AvoidNameKind
case UpperBound extends AvoidNameKind