Skip to main content

luaur_analysis/methods/
instantiation_is_dirty_instantiation.rs

1use crate::records::function_type::FunctionType;
2use crate::records::instantiation::Instantiation;
3use crate::type_aliases::type_id::TypeId;
4
5impl Instantiation {
6    pub fn is_dirty_type_id(&self, ty: TypeId) -> bool {
7        let log = self.base.base.log;
8        let ftv = unsafe { (*log).txn_log_get_mutable::<FunctionType, TypeId>(ty) };
9        if !ftv.is_null() {
10            if unsafe { (*ftv).has_no_free_or_generic_types } {
11                return false;
12            }
13            return true;
14        }
15        false
16    }
17}