Skip to main content

luaur_analysis/functions/
add_refinement.rs

1use crate::type_aliases::l_value::LValue;
2use crate::type_aliases::refinement_map::RefinementMap;
3use crate::type_aliases::type_id::TypeId;
4
5pub fn add_refinement(refis: &mut RefinementMap, lvalue: &LValue, ty: TypeId) {
6    refis.insert(lvalue.clone(), ty);
7}