Skip to main content

luaur_analysis/methods/
constraint_generator_simplify_union.rs

1use crate::functions::simplify_union::simplify_union;
2use crate::records::constraint_generator::ConstraintGenerator;
3use crate::type_aliases::scope_ptr_type::ScopePtr;
4use crate::type_aliases::type_id::TypeId;
5use luaur_ast::records::location::Location;
6
7impl ConstraintGenerator {
8    pub fn simplify_union(
9        &mut self,
10        _scope: ScopePtr,
11        _location: Location,
12        left: TypeId,
13        right: TypeId,
14    ) -> TypeId {
15        simplify_union(self.builtin_types, self.arena, left, right).result
16    }
17}