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

use crate::enums::polarity::Polarity;
use crate::records::builtin_types::BuiltinTypes;
use crate::records::free_type::FreeType;
use crate::records::scope::Scope;
use crate::records::type_arena::TypeArena;
use crate::type_aliases::type_id::TypeId;

pub fn fresh_type(
    arena: &mut TypeArena,
    builtin_types: &BuiltinTypes,
    scope: *mut Scope,
    polarity: Polarity,
) -> TypeId {
    let free_type = FreeType::free_type_scope_type_id_type_id_polarity(
        scope,
        builtin_types.neverType,
        builtin_types.unknownType,
        polarity,
    );
    arena.add_type(free_type)
}