Dotty Documentation

0.15.0-bin-SNAPSHOT

abstract case class TypeParamRef
extends ParamRef with Product with Serializable

Only created in binder.paramRefs. Use binder.paramRefs(paramNum) to refer to TypeParamRef(binder, paramNum).

[-] Constructors

TypeParamRef ( binder: TypeLambda , paramNum: Int )

[-] Members

[+] type BT = TypeLambda
[+] val binder : TypeLambda
[+] val paramNum : Int
[+] def copyBoundType ( bt: BT ) : Type
[+] def kindString : String
[+] override def occursIn ( that: Type ) ( implicit ctx: Context ) : Boolean

Optimized version of occursIn, avoid quadratic blowup when solving constraints over large ground types.

[+] def occursIn ( bound: Type , fromBelow: Boolean ) ( implicit ctx: Context ) : Boolean

Looking only at the structure of bound, is one of the following true? - fromBelow and param <:< bound - !fromBelow and param >:> bound