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
25
26
27
28
29
30
31
32
33

use crate::type_aliases::type_id::TypeId;
use alloc::vec::Vec;

#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub struct TablePropLookupResult {
    /// What types are we blocked on for determining this type?
    pub blocked_types: Vec<TypeId>,
    /// The type of the property (if we were able to determine it).
    pub prop_type: Option<TypeId>,
    /// Whether or not this is _definitely_ derived as the result of an indexer.
    /// We use this to determine whether or not code like:
    ///
    ///   t.lol = nil;
    ///
    /// ... is legal. If `t: { [string]: ~nil }` then this is legal as
    /// there's no guarantee on whether "lol" specifically exists.
    /// However, if `t: { lol: ~nil }`, then we cannot allow assignment as
    /// that would remove "lol" from the table entirely.
    pub is_index: bool,
}

impl Default for TablePropLookupResult {
    fn default() -> Self {
        Self {
            blocked_types: Vec::new(),
            prop_type: None,
            is_index: false,
        }
    }
}

unsafe impl Send for TablePropLookupResult {}
unsafe impl Sync for TablePropLookupResult {}