luaur-analysis 0.1.1

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

use crate::records::constraint_graph::ConstraintGraph;
use crate::records::primitive_type_constraint::PrimitiveTypeConstraint;
use crate::type_aliases::constraint_v::ConstraintVMember;
use crate::type_aliases::constraint_vertex::ConstraintVertex;

impl ConstraintGraph {
    pub fn has_unsolved_dependencies(&mut self, vertex: ConstraintVertex) -> bool {
        let deps = self.find_dependency_list(vertex.clone());

        if let Some(c) = vertex.get_if_2() {
            let constraint = unsafe { &**c };
            if PrimitiveTypeConstraint::get_if(&constraint.c).is_some() {
                return unsafe { deps.as_ref().size() > 1 };
            }
        }

        unsafe { deps.as_ref().size() > 0 }
    }
}