Struct erg_compiler::context::eval::SubstContext
source · [−]pub struct SubstContext { /* private fields */ }
Expand description
SubstContext::new([?T; 0], Context(Array(’T, ’N))) => SubstContext{ params: { ’T: ?T; ’N: 0 } } => ctx ctx.substitute([’T; !’N]): [?T; !0]
Implementations
sourceimpl SubstContext
impl SubstContext
Trait Implementations
Auto Trait Implementations
impl !RefUnwindSafe for SubstContext
impl !Send for SubstContext
impl !Sync for SubstContext
impl Unpin for SubstContext
impl !UnwindSafe for SubstContext
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