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
15
16
17
18

//! Source: `Analysis/include/Luau/ControlFlowGraph.h:237-243` (hand-ported)
//! C++ `template<typename T, typename... Args> InstrId CFGAllocator::newInstruction(Args&&... args)`.
use crate::records::cfg_allocator::CfgAllocator;
use crate::type_aliases::instr_id::InstrId;
use crate::type_aliases::instruction::Instruction;
use luaur_common::macros::luau_assert::LUAU_ASSERT;

impl CfgAllocator {
    /// C++ builds `Instruction* inst = instructions.allocate(T{args...})` and
    /// returns `NotNull{inst}`. The variant `T{args...}` is constructed by the
    /// caller (`CFGBuilder::emit`) and threaded through as the `Instruction`.
    pub fn new_instruction(&mut self, inst: Instruction) -> InstrId {
        // C++: LUAU_ASSERT(!frozen);
        LUAU_ASSERT!(!self.frozen);
        // C++: Instruction* inst = instructions.allocate(...); return NotNull{inst};
        self.instructions.allocate(inst)
    }
}