Struct erg_compiler::context::instantiate::TyVarCache
source · pub struct TyVarCache { /* private fields */ }
Expand description
Context for instantiating a quantified type 量化型をインスタンス化するための文脈 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
sourceimpl Clone for TyVarCache
impl Clone for TyVarCache
sourcefn clone(&self) -> TyVarCache
fn clone(&self) -> TyVarCache
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresourceimpl Debug for TyVarCache
impl Debug for TyVarCache
Auto Trait Implementations
impl !RefUnwindSafe for TyVarCache
impl !Send for TyVarCache
impl !Sync for TyVarCache
impl Unpin for TyVarCache
impl !UnwindSafe for TyVarCache
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more