luaur-analysis 0.1.3

Luau type checker and type inference (Rust).
Documentation 
1
2
3
4
5
6
7
8
9

use crate::records::subtyping_result::SubtypingResult;
use crate::type_aliases::constraint_v::ConstraintV;

impl SubtypingResult {
    pub fn with_assumed_constraint(&mut self, constraint: ConstraintV) -> &mut Self {
        self.assumed_constraints.push(constraint);
        self
    }
}