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
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42

use crate::enums::subtyping_suppression_policy::SubtypingSuppressionPolicy;
use crate::functions::merge_reasonings::merge_reasonings;
use crate::records::subtyping_result::SubtypingResult;

impl SubtypingResult {
    pub fn and_also(
        &mut self,
        mut other: SubtypingResult,
        policy: SubtypingSuppressionPolicy,
    ) -> &mut Self {
        // If the other result is not a subtype, we want to join all of its
        // reasonings to this one. If this result already has reasonings of its own,
        // those need to be attributed here whenever this _also_ failed.
        if !other.is_subtype {
            if self.is_subtype {
                core::mem::swap(&mut self.reasoning, &mut other.reasoning);
            } else {
                // NOTE: This probably doesn't need to be two copies.
                self.reasoning = merge_reasonings(&self.reasoning, &other.reasoning);
            }
        }

        self.is_subtype &= other.is_subtype;

        if policy == SubtypingSuppressionPolicy::All {
            self.is_error_suppressing &= other.is_error_suppressing;
        } else {
            self.is_error_suppressing |= other.is_error_suppressing;
        }

        self.normalization_too_complex |= other.normalization_too_complex;
        self.is_cacheable &= other.is_cacheable;

        self.errors.extend(other.errors.into_iter());
        self.generic_bounds_mismatches
            .extend(other.generic_bounds_mismatches.into_iter());
        self.assumed_constraints
            .extend(other.assumed_constraints.into_iter());

        self
    }
}