luaur-analysis 0.1.3

Luau type checker and type inference (Rust).
Documentation
use crate::enums::normalization_result::NormalizationResult;
use crate::records::fuel_initializer::FuelInitializer;
use crate::records::normalized_type::NormalizedType;
use crate::records::normalizer::Normalizer;
use crate::records::normalizer_hit_limits::NormalizerHitLimits;
use crate::type_aliases::type_id::TypeId;
use luaur_common::records::dense_hash_set::DenseHashSet;

impl Normalizer {
    pub fn is_inhabited_normalized_type(&mut self, norm: &NormalizedType) -> NormalizationResult {
        match std::panic::catch_unwind(std::panic::AssertUnwindSafe(|| {
            let mut seen: DenseHashSet<TypeId> = DenseHashSet::new(core::ptr::null_mut());

            let mut fi = FuelInitializer {
                normalizer: self as *mut Normalizer,
                initialized_fuel: false,
            };
            fi.fuel_initializer_not_null_normalizer(self as *mut Normalizer);
            let _fi = fi;

            self.is_inhabited_normalized_type_set_type_id(norm, &mut seen)
        })) {
            Ok(result) => result,
            Err(payload) if payload.downcast_ref::<NormalizerHitLimits>().is_some() => {
                NormalizationResult::HitLimits
            }
            Err(payload) => std::panic::resume_unwind(payload),
        }
    }
}