luaur-analysis 0.1.0

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

//! @interface-stub
use crate::records::checkpoint::Checkpoint;
use crate::records::constraint::Constraint;
use crate::records::constraint_generator::ConstraintGenerator;
use luaur_common::macros::luau_assert::LUAU_ASSERT;

pub fn add_all_as_reverse_dependencies(
    start: Checkpoint,
    end: Checkpoint,
    cg: &ConstraintGenerator,
    target: *mut Constraint,
) {
    LUAU_ASSERT!(luaur_common::FFlag::LuauConstraintGraph.get());

    for i in start.offset..end.offset {
        let constraint = cg.constraints[i];

        unsafe {
            (*cg.cgraph).add_dependency_of_constraint_constraint(&mut *target, &mut *constraint);
        }
    }
}