scala3-compiler-bootstrapped/dotty.tools.dotc.core/NameKinds/AvoidNameKind

AvoidNameKind

enum AvoidNameKind(tag: Int, prefix: String) extends PrefixNameKind

See ConstraintHandling#LevelAvoidMap.

trait Enum
trait Product
trait Equals
class NameKind
class Object
trait Matchable
class Any

Type members

Enum entries