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

use crate::functions::get_mutable_level::get_mutable_level;
use crate::records::inplace_demoter::InplaceDemoter;
use crate::type_aliases::type_id::TypeId;

impl InplaceDemoter {
    pub fn demote(&mut self, ty: TypeId) -> bool {
        let level = unsafe { get_mutable_level(ty) };
        if !level.is_null() {
            if unsafe { (*level).subsumes_strict(&self.new_level) } {
                unsafe {
                    *level = self.new_level;
                }
                return true;
            }
        }
        false
    }
}