Struct erg_compiler::context::instantiate::TyVarCache
source · pub struct TyVarCache { /* private fields */ }
Expand description
Context for instantiating a quantified type
For example, cloning each type variable of quantified type ?T -> ?T
would result in ?1 -> ?2
.
To avoid this, an environment to store type variables is needed, which is TyVarCache
.
量化型をインスタンス化するための文脈
e.g. Array -> [(“T”: ?T(: Type)), (“N”: ?N(: Nat))]
FIXME: current implementation is wrong
It will not work unless the type variable is used with the same name as the definition.
Implementations§
Trait Implementations§
source§impl Clone for TyVarCache
impl Clone for TyVarCache
source§fn clone(&self) -> TyVarCache
fn clone(&self) -> TyVarCache
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read more