luaur-analysis 0.1.3

Luau type checker and type inference (Rust).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

use crate::records::unifier::Unifier;
use crate::type_aliases::type_id::TypeId;

impl Unifier {
    pub fn unifier_cache_result(
        &mut self,
        sub_ty: TypeId,
        super_ty: TypeId,
        prev_error_count: usize,
    ) {
        if self.errors.len() == prev_error_count {
            if self.unifier_can_cache_result(sub_ty, super_ty) {
                unsafe {
                    (*self.shared_state).cached_unify.insert((sub_ty, super_ty));
                }
            }
        } else if self.errors.len() == prev_error_count + 1 {
            if self.unifier_can_cache_result(sub_ty, super_ty) {
                // C++: `sharedState.cachedUnifyError[{subTy, superTy}] = errors.back().data;`
                let error_data = self.errors.last().unwrap().data.clone();
                unsafe {
                    *(*self.shared_state)
                        .cached_unify_error
                        .get_or_insert((sub_ty, super_ty)) = error_data;
                }
            }
        }
    }
}