luaur-analysis 0.1.0

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

//! Source: `Analysis/include/Luau/Unifiable.h:62-68` (hand-ported)
use crate::records::type_level::TypeLevel;

/// C++ `inline TypeLevel max(const TypeLevel& a, const TypeLevel& b)`.
/// Returns the deeper/greater level: if `a` subsumes `b`, `b` is the greater.
pub fn max(a: &TypeLevel, b: &TypeLevel) -> TypeLevel {
    if a.subsumes(b) {
        *b
    } else {
        *a
    }
}