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

use crate::records::subtyping_environment::SubtypingEnvironment;
use crate::records::subtyping_result::SubtypingResult;
use crate::type_aliases::type_id::TypeId;

impl SubtypingEnvironment {
    pub fn try_find_subtyping_result(
        &self,
        sub_and_super: (TypeId, TypeId),
    ) -> Option<&SubtypingResult> {
        if let Some(it) = self.seen_set_cache.find(&sub_and_super) {
            return Some(it);
        }

        if !self.parent.is_null() {
            return unsafe { (*self.parent).try_find_subtyping_result(sub_and_super) };
        }

        None
    }
}