luaur-analysis 0.1.1

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

//! Source: `Analysis/src/ControlFlowGraph.cpp:33-36` (hand-ported)
//! C++ `RefinementId RefinementArena::disjunction(RefinementId lhs, RefinementId rhs)`.
use crate::records::disjunction_control_flow_graph::Disjunction;
use crate::records::refinement_arena_control_flow_graph::RefinementArena;
use crate::type_aliases::refinement_control_flow_graph::Refinement;
use crate::type_aliases::refinement_id_control_flow_graph::RefinementId;

impl RefinementArena {
    pub fn disjunction_mut(&mut self, lhs: RefinementId, rhs: RefinementId) -> RefinementId {
        // C++: return NotNull{allocator.allocate(Disjunction{lhs, rhs})};
        self.allocator
            .allocate(Refinement::Disjunction(Disjunction { lhs, rhs }))
    }
}