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

use crate::records::constraint_solver::ConstraintSolver;
use crate::type_aliases::blocked_constraint_id::BlockedConstraintId;
use luaur_common::macros::luau_assert::LUAU_ASSERT;
use luaur_common::FFlag;

impl ConstraintSolver {
    pub fn deprecate_d_unblock_(&mut self, progressed: BlockedConstraintId) {
        LUAU_ASSERT!(!FFlag::LuauConstraintGraph.get());
        if let Some(blocked_constraints) = self.deprecated_blocked.remove(&progressed) {
            for unblocked_constraint in blocked_constraints.iter() {
                let count = self
                    .deprecated_blocked_constraints
                    .get_mut(unblocked_constraint)
                    .unwrap();
                LUAU_ASSERT!(*count > 0);
                *count -= 1;
            }
        }
    }
}