Skip to main content

luaur_analysis/methods/
instance_collector_2_cycle.rs

1use crate::functions::follow_type::follow_type_id;
2use crate::functions::get_type_alt_j::get_type_id;
3use crate::records::instance_collector_2::InstanceCollector2;
4use crate::records::type_function_instance_type::TypeFunctionInstanceType;
5use crate::type_aliases::type_id::TypeId;
6
7impl InstanceCollector2 {
8    pub fn cycle(&mut self, ty: TypeId) {
9        let t = unsafe { follow_type_id(ty) };
10        let it = unsafe { get_type_id::<TypeFunctionInstanceType>(t) };
11        if !it.is_null() {
12            self.cyclic_instance.insert(t);
13        }
14    }
15}