Skip to main content

luaur_analysis/methods/
constraint_solver_unblock_constraint_solver_alt_b.rs

1use crate::records::constraint_solver::ConstraintSolver;
2use crate::type_aliases::blocked_constraint_id::BlockedConstraintId;
3use crate::type_aliases::type_pack_id::TypePackId;
4use luaur_ast::records::location::Location;
5use luaur_common::FFlag;
6
7impl ConstraintSolver {
8    pub fn unblock_type_pack_id_location(&mut self, tp: TypePackId, _location: Location) {
9        if let Some(logger) = unsafe { self.logger.as_mut() } {
10            logger.pop_block_type_pack_id(tp);
11        }
12
13        if FFlag::LuauConstraintGraph.get() {
14            unsafe {
15                (*self.cgraph).unblock_type_or_pack_type_pack_id(tp);
16            }
17        } else {
18            self.deprecate_d_unblock_(BlockedConstraintId::V1(tp));
19        }
20    }
21}