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
18
19

//! Source: `Analysis/src/Refinement.cpp:44-50` (hand-ported)
//! C++ `RefinementId RefinementArena::equivalence(RefinementId lhs, RefinementId rhs)`.
//!
//! The faithful body lives on the canonical inherent method
//! `RefinementArena::equivalence` (see `records/refinement_arena_refinement.rs`).
//! This signature-disambiguated entry point mirrors the
//! `proposition_refinement_key_type_id` precedent for this arena and delegates.
use crate::records::refinement_arena_refinement::RefinementArena;
use crate::type_aliases::refinement_id_refinement::RefinementId;

impl RefinementArena {
    pub fn equivalence_refinement_id_refinement_id(
        &mut self,
        lhs: RefinementId,
        rhs: RefinementId,
    ) -> RefinementId {
        self.equivalence(lhs, rhs)
    }
}