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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52

use crate::functions::follow_type::follow_type_id;
use crate::records::blocked_type_finder::BlockedTypeFinder;
use crate::records::constraint::Constraint;
use crate::records::constraint_solver::ConstraintSolver;
use crate::records::has_indexer_constraint::HasIndexerConstraint;
use luaur_common::FFlag;

impl ConstraintSolver {
    pub fn try_dispatch_has_indexer_constraint_not_null_constraint(
        &mut self,
        c: &HasIndexerConstraint,
        constraint: *const Constraint,
    ) -> bool {
        let subject_type = unsafe { follow_type_id(c.subject_type) };
        let index_type = unsafe { follow_type_id(c.index_type) };

        if self.is_blocked_type_id(subject_type) {
            return self.block_type_id_not_null_constraint(subject_type, constraint);
        }
        if self.is_blocked_type_id(index_type) {
            return self.block_type_id_not_null_constraint(index_type, constraint);
        }

        let mut btf = BlockedTypeFinder::blocked_type_finder_blocked_type_finder();
        btf.visit_type_id(subject_type);

        if let Some(blocked) = btf.blocked {
            return self.block_type_id_not_null_constraint(blocked, constraint);
        }

        let mut recursion_depth = 0;
        let mut seen = luaur_common::records::dense_hash_set::DenseHashSet::new(core::ptr::null());

        let result = self.constraint_solver_try_dispatch_has_indexer(
            &mut recursion_depth,
            constraint,
            subject_type,
            index_type,
            c.result_type,
            &mut seen,
        );

        if FFlag::LuauConstraintGraph.get() && result {
            self.unblock_type_id_location(
                subject_type,
                luaur_ast::records::location::Location::default(),
            );
        }

        result
    }
}