Skip to main content

luaur_analysis/records/
generalize_step_snapshot.rs

1use crate::records::constraint::Constraint;
2use crate::records::constraint_snapshot::ConstraintSnapshot;
3use crate::records::scope_snapshot::ScopeSnapshot;
4use luaur_common::records::dense_hash_map::DenseHashMap;
5
6#[derive(Debug, Clone)]
7pub struct GeneralizeStepSnapshot {
8    pub(crate) before: alloc::string::String,
9    pub(crate) after: alloc::string::String,
10    pub(crate) unsolved_constraints: DenseHashMap<*const Constraint, ConstraintSnapshot>,
11    pub(crate) root_scope: ScopeSnapshot,
12    pub(crate) type_strings: DenseHashMap<*const core::ffi::c_void, alloc::string::String>,
13}