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

//! Node: `cxx:Function:Luau.Analysis:Analysis/src/Type.cpp:271:is_overloaded_function`
//! Source: `Analysis/src/Type.cpp:271-283` (hand-ported)

use crate::functions::flatten_intersection::flatten_intersection;
use crate::functions::follow_type::follow;
use crate::functions::get_type_alt_j::get;
use crate::records::function_type::FunctionType;
use crate::records::intersection_type::IntersectionType;
use crate::type_aliases::type_id::TypeId;

pub fn is_overloaded_function(ty: TypeId) -> bool {
    unsafe {
        if get::<IntersectionType>(follow(ty)).is_null() {
            return false;
        }

        let parts = flatten_intersection(ty);
        parts
            .iter()
            .all(|&part| !get::<FunctionType>(part).is_null())
    }
}