luaur-analysis 0.1.3

Luau type checker and type inference (Rust).
Documentation 
1
2
3
4
5
6
7
8
9
10

use crate::enums::unify_result::UnifyResult;
use crate::records::unifier_2::Unifier2;
use crate::type_aliases::type_id::TypeId;

impl Unifier2 {
    pub fn unify(&mut self, sub_ty: TypeId, super_ty: TypeId) -> UnifyResult {
        self.iteration_count = 0;
        self.unify_type_id_type_id(sub_ty, super_ty)
    }
}