Struct erg_compiler::context::instantiate::TyVarInstContext
source · [−]pub struct TyVarInstContext { /* 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 TyVarInstContext
impl Clone for TyVarInstContext
sourcefn clone(&self) -> TyVarInstContext
fn clone(&self) -> TyVarInstContext
Returns a copy of the value. Read more
1.0.0 · sourceconst fn clone_from(&mut self, source: &Self)
const fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresourceimpl Debug for TyVarInstContext
impl Debug for TyVarInstContext
Auto Trait Implementations
impl !RefUnwindSafe for TyVarInstContext
impl !Send for TyVarInstContext
impl !Sync for TyVarInstContext
impl Unpin for TyVarInstContext
impl !UnwindSafe for TyVarInstContext
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