scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.core/TypeComparer/ApproxState

ApproxState

dotty.tools.dotc.core.TypeComparer.ApproxState
opaque 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

Members list

Type members

Classlikes

object Repr

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Repr.type

Types

opaque type Repr

Value members

Concrete fields

val Fresh: Repr

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.

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

val None: Repr
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL