Skip to main content

luaur_analysis/methods/
unifier_mismatch_context.rs

1use crate::enums::context_error::Context;
2use crate::records::unifier::Unifier;
3use luaur_common::macros::luau_assert::LUAU_ASSERT;
4
5impl Unifier {
6    pub fn unifier_mismatch_context(&mut self) -> Context {
7        match self.variance {
8            crate::enums::variance::Variance::Covariant => Context::CovariantContext,
9            crate::enums::variance::Variance::Invariant => Context::InvariantContext,
10            _ => {
11                LUAU_ASSERT!(false);
12                Context::CovariantContext
13            }
14        }
15    }
16}