trait
NarrowCached
extends
Type
Implementations of this trait cache the results of narrow.
Constructors
Members
private
var
myNarrow
: TermRef
private
def
myNarrow_=
(
x$1:
TermRef
)
: Unit
override
def
narrow
(
implicit
ctx:
Context
)
: TermRef
A prefix-less refined this or a termRef to a new skolem symbol that has the given type as info.
A prefix-less refined this or a termRef to a new skolem symbol that has the given type as info.