Skip to main content

luaur_analysis/methods/
constraint_solver_try_dispatch_constraint_solver_alt_r.rs

1use crate::records::constraint::Constraint;
2use crate::records::constraint_solver::ConstraintSolver;
3use crate::records::equality_constraint::EqualityConstraint;
4
5impl ConstraintSolver {
6    pub fn try_dispatch_equality_constraint_not_null_constraint(
7        &mut self,
8        c: &EqualityConstraint,
9        constraint: *const Constraint,
10    ) -> bool {
11        self.constraint_solver_unify(constraint, c.result_type, c.assignment_type);
12        self.constraint_solver_unify(constraint, c.assignment_type, c.result_type);
13        true
14    }
15}