dotty.tools.dotc.core.TypeComparer$
See theTypeComparer companion class
object TypeComparer
Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
- TypeComparer.type
Members list
Concise view
Type members
Classlikes
The approximation state indicates how the pair of types currently compared relates to the types compared originally.
The approximation state indicates how the pair of types currently compared relates to the types compared originally.
None
: They are still the same typesLoApprox
: The left type is approximated (i.e widened)"HiApprox
: The right type is approximated (i.e narrowed)"
Attributes
- Graph
- Supertypes
- Self type
- ApproxState.type
enum CompareResult
Attributes
- Graph
- Supertypes
Types
Value members
Concrete methods
The greatest lower bound of a list types
The greatest lower bound of a list types
Attributes
def instanceType(param: TypeParamRef, fromBelow: Boolean, widenUnions: Boolean, maxLevel: Int)(using Context): Type
The least upper bound of a list of types
The least upper bound of a list of types