Struct erg_compiler::context::instantiate::TyVarContext
source · [−]pub struct TyVarContext { /* private fields */ }
Expand description
Context for instantiating a quantified type 量化型をインスタンス化するための文脈
Implementations
Trait Implementations
sourceimpl Clone for TyVarContext
impl Clone for TyVarContext
sourcefn clone(&self) -> TyVarContext
fn clone(&self) -> TyVarContext
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 TyVarContext
impl Debug for TyVarContext
Auto Trait Implementations
impl !RefUnwindSafe for TyVarContext
impl !Send for TyVarContext
impl !Sync for TyVarContext
impl Unpin for TyVarContext
impl !UnwindSafe for TyVarContext
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