final
class
SafeSubstMap
extends
TypeMap
A map for "cycle safe substitutions" which do not force the denotation of a TypeRef unless the name matches up with one of the substituted symbols.
Constructors
SafeSubstMap
(
from:
List
[
Symbol
]
,
to:
List
[
Type
]
)
Members
private
val
from
: List
[
Symbol
]
private
val
to
: List
[
Type
]
def
apply
(
tp:
Type
)
: Type