Skip to main content

luaur_analysis/methods/
constraint_solver_simplify_union.rs

1use crate::functions::simplify_union::simplify_union;
2use crate::records::builtin_types::BuiltinTypes;
3use crate::records::constraint_solver::ConstraintSolver;
4use crate::records::scope::Scope;
5use crate::records::type_arena::TypeArena;
6use crate::type_aliases::type_id::TypeId;
7use luaur_ast::records::location::Location;
8
9impl ConstraintSolver {
10    pub fn simplify_union(
11        &mut self,
12        scope: *mut Scope,
13        location: Location,
14        left: TypeId,
15        right: TypeId,
16    ) -> TypeId {
17        let builtin_types = self.builtin_types;
18        let arena = self.arena;
19        let _ = scope;
20        let _ = location;
21        simplify_union(builtin_types, arena, left, right).result
22    }
23}