VariantTraversal

dotty.tools.dotc.core.Types$.VariantTraversal
abstract class VariantTraversal

Common base class of TypeMap and TypeAccumulator

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Concise view

Value members

Concrete methods

inline protected def atVariance[T](v: Int)(op: => T): T
protected def isStaticPrefix(pre: Type)(using Context): Boolean

Can the prefix of this static reference be omitted if the reference itself can be omitted? Overridden in TypeOps#avoid.

Can the prefix of this static reference be omitted if the reference itself can be omitted? Overridden in TypeOps#avoid.

Attributes

protected def stopAt: StopAt