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
27
28
29
30
31
32
33
34
35

use crate::enums::normalization_result::NormalizationResult;
use crate::records::normalized_type::NormalizedType;
use crate::records::normalizer::Normalizer;

pub(crate) fn is_ok_to_compare(
    normalizer: &mut Normalizer,
    types_have_intersection: NormalizationResult,
    norm_left: Option<&NormalizedType>,
    norm_right: Option<&NormalizedType>,
) -> bool {
    if NormalizationResult::False != types_have_intersection {
        return true;
    }

    let (Some(norm_left), Some(norm_right)) = (norm_left, norm_right) else {
        return true;
    };

    if norm_left.is_nil() || norm_right.is_nil() {
        return true;
    }

    let inhabited_left = normalizer.is_inhabited_normalized_type(norm_left);
    let inhabited_right = normalizer.is_inhabited_normalized_type(norm_right);

    if NormalizationResult::True != inhabited_left || NormalizationResult::True != inhabited_right {
        return true;
    }

    if !norm_left.strings.is_never() && !norm_right.strings.is_never() {
        return true;
    }

    false
}