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

/// Port of `Luau::Unifiable::Error<Id>` from `Analysis/include/Luau/Unifiable.h`.
/// An error type with an optional "synthetic" stand-in TypeId for presentation.
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub struct Error<Id> {
    pub index: i32,
    /// Optional synthetic TypeId used to communicate the error to the user.
    pub synthetic: Option<Id>,
}

impl<Id: Copy> Error<Id> {
    pub fn new() -> Self {
        static NEXT_INDEX: core::sync::atomic::AtomicI32 = core::sync::atomic::AtomicI32::new(0);
        Self {
            index: NEXT_INDEX.fetch_add(1, core::sync::atomic::Ordering::Relaxed),
            synthetic: None,
        }
    }

    pub fn with_synthetic(synthetic: Id) -> Self {
        static NEXT_INDEX: core::sync::atomic::AtomicI32 = core::sync::atomic::AtomicI32::new(0);
        Self {
            index: NEXT_INDEX.fetch_add(1, core::sync::atomic::Ordering::Relaxed),
            synthetic: Some(synthetic),
        }
    }
}