Method fresh_fvar_id

crates/kernel/src/tc.rs:474–476

(&mut self)

    let mut h = blake3::Hasher::new();
    h.update(b"ctx.let");
    h.update(&ty.addr().to_le_bytes());
    h.update(&val.addr().to_le_bytes());
    h.update(self.ctx_id.as_bytes());
    self.ctx_id_stack.push(self.ctx_id);
    self.ctx_id = h.finalize();
    self.ctx.push(ty);