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

use crate::enums::parentheses_recommendation::ParenthesesRecommendation;
use crate::functions::follow_type::follow_type_id;
use crate::functions::get_paren_recommendation_for_func::get_paren_recommendation_for_func;
use crate::functions::get_type_alt_j::get_type_id;
use crate::records::function_type::FunctionType;
use crate::records::intersection_type::IntersectionType;
use luaur_ast::records::ast_node::AstNode;

pub fn get_paren_recommendation_for_intersect(
    intersect: &IntersectionType,
    nodes: &alloc::vec::Vec<*mut AstNode>,
) -> ParenthesesRecommendation {
    let mut rec = ParenthesesRecommendation::None;

    for &part_id in intersect.parts.iter() {
        let part_id = unsafe { follow_type_id(part_id) };

        let part_func = unsafe { get_type_id::<FunctionType>(part_id).as_ref() };
        if let Some(part_func) = part_func {
            let other = get_paren_recommendation_for_func(part_func, nodes);
            if other as i32 > rec as i32 {
                rec = other;
            }
        } else {
            return ParenthesesRecommendation::None;
        }
    }

    rec
}