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
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

use crate::functions::follow_type_pack::follow as follow_type_pack_id;
use crate::records::substitution::Substitution;
use crate::type_aliases::type_pack_id::TypePackId;

impl Substitution {
    /// C++ `Substitution::foundDirty(TypePackId)` (`Substitution.cpp:737-748`).
    ///
    /// See [`Substitution::found_dirty_type_id`] for the dispatch/`follow`
    /// details; this is the type-pack twin.
    pub fn found_dirty_type_pack_id(&mut self, tp: TypePackId) {
        let tp = unsafe { (*self.base.log).follow_type_pack_id(tp) };

        if self.new_packs.contains(&tp) {
            return;
        }

        let owner = self.base.vtable.owner;
        let is_dirty = self
            .base
            .vtable
            .is_dirty_tp
            .expect("Substitution::isDirty(TypePackId) override not installed");

        let new_tp = if is_dirty(owner, tp) {
            let clean = self
                .base
                .vtable
                .clean_tp
                .expect("Substitution::clean(TypePackId) override not installed");
            let cleaned = clean(owner, tp);
            unsafe { follow_type_pack_id(cleaned) }
        } else {
            let cloned = self.clone_type_pack_id(tp);
            unsafe { follow_type_pack_id(cloned) }
        };

        *self.new_packs.get_or_insert(tp) = new_tp;
    }
}