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

use crate::records::builtin_types::BuiltinTypes;
use crate::records::normalized_extern_type::NormalizedExternType;

pub fn is_top(builtin_types: &BuiltinTypes, extern_types: &NormalizedExternType) -> bool {
    if extern_types.extern_types.len() != 1 {
        return false;
    }

    let (first_ty, first_types) = extern_types
        .extern_types
        .iter()
        .next()
        .expect("len() checked above");

    if *first_ty != builtin_types.externType {
        return false;
    }

    if !first_types.empty() {
        return false;
    }

    true
}