Dotty Documentation

0.11.0-bin-SNAPSHOT

class TrackingTypeComparer
extends TypeComparer

[-] Constructors

TrackingTypeComparer ( initctx: Context )

[-] Members

[+] val footprint : Set [ Type ]
[+] private val initctx : Context
[+] override def addOneBound ( param: TypeParamRef , bound: Type , isUpper: Boolean ) : Boolean
[+] override def bounds ( param: TypeParamRef ) : TypeBounds

The current bounds of type parameter param

[+] override def gadtBounds ( sym: Symbol ) ( implicit ctx: Context ) : TypeBounds
[+] override def gadtSetBounds ( sym: Symbol , b: TypeBounds ) : Unit
[+] def matchCase ( scrut: Type , cas: Type , instantiate: Boolean ) ( implicit ctx: Context ) : Type
[+] override def typeVarInstance ( tvar: TypeVar ) ( implicit ctx: Context ) : Type