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.