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

use crate::functions::follow_type::follow_type_id;
use crate::functions::get_type_alt_j::get_type_id;
use crate::records::function_type::FunctionType;
use crate::type_aliases::type_id::TypeId;

pub fn is_generic(ty: TypeId) -> bool {
    unsafe {
        let followed = follow_type_id(ty);
        let ftv = get_type_id::<FunctionType>(followed);
        if ftv.is_null() {
            false
        } else {
            let ftv_ref = &*ftv;
            !ftv_ref.generics.is_empty() || !ftv_ref.generic_packs.is_empty()
        }
    }
}