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
20
21

use crate::records::instantiation_queuer::InstantiationQueuer;
use crate::records::reduce_constraint::ReduceConstraint;
use crate::records::type_function_instance_type::TypeFunctionInstanceType;
use crate::type_aliases::constraint_v::ConstraintV;
use crate::type_aliases::type_id::TypeId;

impl InstantiationQueuer {
    pub fn visit_type_id_type_function_instance_type(
        &mut self,
        ty: TypeId,
        _tfit: &TypeFunctionInstanceType,
    ) -> bool {
        let solver = unsafe { &mut *self.solver };
        solver.push_constraint(
            self.scope,
            self.location,
            ConstraintV::Reduce(ReduceConstraint { ty }),
        );
        true
    }
}