Return a new type environment binding specialized type parameters of sym to the given args.
Return a new type environment binding specialized type parameters of sym to the given args. Expects the lists to have the same length.
Does typeenv t1
include t2
? All type variables in t1
are defined in t2
and:
Does typeenv t1
include t2
? All type variables in t1
are defined in t2
and:
t2
is bound to a subtype of AnyRef
Is the given environment a valid specialization for sym?
It is valid if each binding is from a @specialized type parameter in sym (or its owner)
to a type for which sym
is specialized.
Reduce the given environment to contain mappings only for type variables in tps.