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
47
48
49

//! Source: `Analysis/src/Clone.cpp:712-732`
//! `Binding cloneIncremental(const Binding& binding, TypeArena& dest, CloneState& cloneState, Scope* freshScopeForFreeTypes)`.

use crate::functions::clone_clone_alt_b::with_clone_maps;
use crate::records::binding::Binding;
use crate::records::clone_state::CloneState;
use crate::records::fragment_autocomplete_type_cloner::FragmentAutocompleteTypeCloner;
use crate::records::scope::Scope;
use crate::records::type_arena::TypeArena;
use crate::type_aliases::type_id::TypeId;
use crate::type_aliases::type_pack_id::TypePackId;
use std::collections::HashMap;

pub fn clone_incremental(
    binding: &Binding,
    dest: &mut TypeArena,
    clone_state: &mut CloneState,
    fresh_scope_for_free_types: *mut Scope,
) -> Binding {
    let builtin_types = clone_state.builtin_types;
    with_clone_maps(
        &mut clone_state.seen_types,
        &mut clone_state.seen_type_packs,
        |tys, tps| {
            let mut cloner = FragmentAutocompleteTypeCloner::fragment_autocomplete_type_cloner(
                dest as *mut TypeArena,
                builtin_types,
                tys as *mut HashMap<TypeId, TypeId>,
                tps as *mut HashMap<TypePackId, TypePackId>,
                core::ptr::null(),
                core::ptr::null(),
                fresh_scope_for_free_types,
            );

            Binding {
                deprecated: binding.deprecated,
                deprecated_suggestion: binding.deprecated_suggestion.clone(),
                documentation_symbol: binding.documentation_symbol.clone(),
                location: binding.location,
                // Clone.cpp:729: `binding.typeId->persistent ? binding.typeId : cloner.clone(binding.typeId)`.
                type_id: if unsafe { (*binding.type_id).persistent } {
                    binding.type_id
                } else {
                    cloner.base.clone_type_id(binding.type_id)
                },
            }
        },
    )
}