luaur-analysis 0.1.1

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

use crate::enums::subtyping_variance::SubtypingVariance;
use crate::records::path::Path;

#[derive(Debug, Clone)]
pub struct SubtypingReasoning {
    pub(crate) sub_path: Path,
    pub(crate) super_path: Path,
    pub(crate) variance: SubtypingVariance,
    pub(crate) is_property_modifier_violation: bool,
}

// Empty-key sentinel for DenseHashSet<SubtypingReasoning, ...> members.
impl luaur_common::records::dense_hash_table::DenseDefault for SubtypingReasoning {
    fn dense_default() -> Self {
        SubtypingReasoning {
            sub_path: Default::default(),
            super_path: Default::default(),
            variance: Default::default(),
            is_property_modifier_violation: false,
        }
    }
}