luaur-analysis 0.1.1

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

use crate::records::normalized_type::NormalizedType;
use crate::records::normalizer::Normalizer;

impl Normalizer {
    pub fn clear_normal(&mut self, norm: &mut NormalizedType) {
        let builtin_types = norm.builtin_types;
        let never_type = unsafe { (*builtin_types).neverType };

        norm.tops = never_type;
        norm.booleans = never_type;
        norm.extern_types.reset_to_never();
        norm.errors = never_type;
        norm.nils = never_type;
        norm.numbers = never_type;
        norm.integers = never_type;
        norm.strings.reset_to_never();
        norm.threads = never_type;
        norm.buffers = never_type;
        norm.tables.clear();
        norm.functions.reset_to_never();
        norm.tyvars.clear();
    }
}