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

use crate::enums::context_error::Context;
use crate::records::unifier::Unifier;
use luaur_common::macros::luau_assert::LUAU_ASSERT;

impl Unifier {
    pub fn unifier_mismatch_context(&mut self) -> Context {
        match self.variance {
            crate::enums::variance::Variance::Covariant => Context::CovariantContext,
            crate::enums::variance::Variance::Invariant => Context::InvariantContext,
            _ => {
                LUAU_ASSERT!(false);
                Context::CovariantContext
            }
        }
    }
}