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
pub fn new(substituted: &Type, ty_ctx: &Context) -> Self
pub fn substitute(&self, quant_t: Type, ctx: &Context) -> TyCheckResult<Type>
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