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

use crate::records::constraint::Constraint;
use crate::records::constraint_solver::ConstraintSolver;
use crate::records::equality_constraint::EqualityConstraint;

impl ConstraintSolver {
    pub fn try_dispatch_equality_constraint_not_null_constraint(
        &mut self,
        c: &EqualityConstraint,
        constraint: *const Constraint,
    ) -> bool {
        self.constraint_solver_unify(constraint, c.result_type, c.assignment_type);
        self.constraint_solver_unify(constraint, c.assignment_type, c.result_type);
        true
    }
}