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
21
22
23
24
25
26
27
28
29
30
31

use crate::records::normalizer::Normalizer;
use crate::records::type_ids::TypeIds;
use crate::type_aliases::seen_table_prop_pairs::SeenTablePropPairs;
use crate::type_aliases::type_id::TypeId;
use luaur_common::records::dense_hash_set::DenseHashSet;

impl Normalizer {
    pub fn intersect_tables_with_table(
        &mut self,
        heres: &mut TypeIds,
        there: TypeId,
        seen_table_prop_pairs: &mut SeenTablePropPairs,
        seen_set_types: &mut DenseHashSet<TypeId>,
    ) {
        self.consume_fuel();

        let mut tmp = TypeIds::type_ids();
        let heres_clone = heres.clone();
        for here in heres_clone.order {
            if let Some(inter) =
                self.intersection_of_tables(here, there, seen_table_prop_pairs, seen_set_types)
            {
                tmp.insert_type_id(inter);
            }
        }
        heres.retain(&tmp);
        for ty in tmp.order {
            heres.insert_type_id(ty);
        }
    }
}