luaur-analysis 0.1.0

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

use crate::records::quantifier::Quantifier;
use crate::records::type_level::TypeLevel;

impl Quantifier {
    pub fn quantifier(level: TypeLevel) -> Self {
        Quantifier {
            base: crate::records::type_once_visitor::TypeOnceVisitor::new(
                "Quantifier".to_string(),
                false,
            ),
            level,
            generics: alloc::vec::Vec::new(),
            generic_packs: alloc::vec::Vec::new(),
            scope: core::ptr::null_mut(),
            seen_generic_type: false,
            seen_mutable_type: false,
        }
    }
}