scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.core/TypeComparer/ApproxState

ApproxState

dotty.tools.dotc.core.TypeComparer.ApproxState

object ApproxState

The approximation state indicates how the pair of types currently compared relates to the types compared originally.

None : They are still the same types
LoApprox: The left type is approximated (i.e widened)"
HiApprox: The right type is approximated (i.e narrowed)"

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any
Self type: ApproxState.type

Members list

Type members

Classlikes

Attributes

Supertypes: class Object

trait Matchable

class Any
Self type: Repr.type

Types

Value members

Concrete fields

A special approximation state to indicate that this is the first time we compare (approximations of) this pair of types. It's converted to None in isSubType, but also leads to leftRoot being set there.

Attributes

In this article

Generated with