Method truncate

crates/kernel/src/lctx.rs:117–122

Truncate the context to the given length, dropping any declarations pushed since. The dropped fvars become unresolvable via [`Self::find`].

(&mut self, len: usize)

  /// Truncate the context to the given length, dropping any declarations
  /// pushed since. The dropped fvars become unresolvable via [`Self::find`].
  pub fn truncate(&mut self, len: usize) {
    while self.decls.len() > len {
      let (id, _) = self.decls.pop().expect("len > 0 by loop guard");
      self.index.remove(&id);
    }
  }

  /// Iterate decls in insertion order.
  pub fn iter(&self) -> impl Iterator<Item = (FVarId, &LocalDecl<M>)> {