luaur-analysis 0.1.3

Luau type checker and type inference (Rust).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

use crate::records::txn_log::TxnLog;
use crate::records::type_arena::TypeArena;
use crate::records::unifier::Unifier;

impl Unifier {
    pub fn unifier_combine_logs_into_union(
        &mut self,
        logs: Vec<TxnLog>,
        arena: *mut TypeArena,
    ) -> TxnLog {
        let mut result = TxnLog::new();
        for log in logs {
            result.concat_as_union(log, arena);
        }
        result
    }
}