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::refinement_key::RefinementKey;
use crate::type_aliases::type_id::TypeId;

#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct Proposition {
    pub(crate) key: *const RefinementKey,
    pub(crate) discriminantTy: TypeId,
    pub(crate) implicitFromCall: bool,
}

#[allow(non_snake_case)]
impl Proposition {
    pub fn key(&self) -> *const RefinementKey {
        self.key
    }

    pub fn discriminantTy(&self) -> TypeId {
        self.discriminantTy
    }

    pub fn implicitFromCall(&self) -> bool {
        self.implicitFromCall
    }
}