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
20

use crate::records::tarjan::Tarjan;
use crate::type_aliases::type_pack_id::TypePackId;

impl Tarjan {
    /// C++ `Tarjan::ignoreChildrenVisit(TypePackId)` (`Substitution.cpp:567-570`).
    ///
    /// The base forwards to `ignoreChildren`; a few subclasses override the
    /// "visit" variant independently. Dispatches to the subclass override via
    /// the installed
    /// [`SubstitutionVtable`](crate::records::tarjan::SubstitutionVtable) when
    /// present, else falls back to `ignoreChildren` (matching the base default,
    /// and fixing the previous self-recursive stub).
    pub fn ignore_children_visit_type_pack_id(&mut self, tp: TypePackId) -> bool {
        let owner = self.vtable.owner;
        match self.vtable.ignore_children_visit_tp {
            Some(f) => f(owner, tp),
            None => self.ignore_children_type_pack_id(tp),
        }
    }
}