abstract case class RefinedType
extends RefinedOrRecType

A refined type parent { refinement }

Constructors

RefinedType ( parent: Type , refinedName: Name , refinedInfo: Type )

Members

val parent : Type
val refinedInfo : Type
val refinedName : Name
def _1 : T1
def _2 : T2
def _3 : T3
private def badInst : Nothing
def checkInst ( implicit ctx: Context ) : RefinedType
override def computeHash : Int
def derivedRefinedType ( parent: Type , refinedName: Name , refinedInfo: Type ) ( implicit ctx: Context ) : Type
override def equals ( that: Any ) : Boolean
override def toString : String
override def underlying ( implicit ctx: Context ) : Type

The type to which this proxy forwards operations.

The type to which this proxy forwards operations.

def wrapIfMember ( parent: Type ) ( implicit ctx: Context ) : Type

Add this refinement to parent, provided If refinedName is a member of parent.

Add this refinement to parent, provided If refinedName is a member of parent.