class
RecType
extends
RefinedOrRecType
with
BindingType
Constructors
RecType
(
parentExp:
RecType => Type
)
Members
var
opened
: Boolean
var
openedTwice
: Boolean
val
parent
: Type
private
val
parentExp
: RecType => Type
private
def
checkInst
(
implicit
ctx:
Context
)
: RecType
override
def
computeHash
: Int
def
derivedRecType
(
parent:
Type
)
(
implicit
ctx:
Context
)
: RecType
override
def
equals
(
other:
Any
)
: Boolean
def
isReferredToBy
(
tp:
Type
)
(
implicit
ctx:
Context
)
: Boolean
def
rebind
(
parent:
Type
)
(
implicit
ctx:
Context
)
: Type
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.