Skip to main content

luaur_analysis/methods/
constraint_solver_simplify_intersection_constraint_solver.rs

1use crate::functions::simplify_intersection_simplify::simplify_intersection;
2use crate::records::constraint_solver::ConstraintSolver;
3use crate::records::scope::Scope;
4use crate::type_aliases::type_id::TypeId;
5use luaur_ast::records::location::Location;
6
7impl ConstraintSolver {
8    pub fn simplify_intersection_not_null_scope_location_type_id_type_id(
9        &mut self,
10        _scope: *mut Scope,
11        _location: Location,
12        left: TypeId,
13        right: TypeId,
14    ) -> TypeId {
15        simplify_intersection(self.builtin_types, self.arena, left, right).result
16    }
17}