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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46

//! @interface-stub
use crate::records::binding::Binding;
use crate::records::constraint_generator::ConstraintGenerator;
use crate::records::scope::Scope;
use crate::records::symbol::Symbol;
use crate::type_aliases::scope_ptr_constraint_generator::ScopePtr;
use crate::type_aliases::type_id::TypeId;
use alloc::string::String;
use alloc::vec::Vec;
use luaur_ast::records::ast_stat_block::AstStatBlock;
use luaur_ast::records::location::Location;

impl ConstraintGenerator {
    pub fn fill_in_inferred_bindings(
        &mut self,
        _global_scope: &ScopePtr,
        _block: *mut AstStatBlock,
    ) {
        let inferred_bindings: Vec<(Symbol, *mut Scope, Location, Vec<TypeId>)> = self
            .inferred_bindings
            .iter()
            .map(|(symbol, p)| (symbol.clone(), p.scope, p.location, p.types.order.clone()))
            .collect();

        for (symbol, scope, location, tys) in inferred_bindings {
            let ty = if tys.len() == 1 {
                tys[0]
            } else {
                self.make_union_vector_type_id(tys)
            };

            unsafe {
                (*scope).bindings.insert(
                    symbol,
                    Binding {
                        type_id: ty,
                        location,
                        deprecated: false,
                        deprecated_suggestion: String::new(),
                        documentation_symbol: None,
                    },
                );
            }
        }
    }
}