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

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

impl SubtypingReasoning {
    pub fn new(sub_path: Path, super_path: Path, variance: SubtypingVariance) -> Self {
        Self {
            sub_path,
            super_path,
            variance,
            is_property_modifier_violation: false,
        }
    }
}